Skip to main content
×
Home

Computably categorical structures and expansions by constants

  • Peter Cholak (a1), Sergey Goncharov (a2), Bakhadyr Khoussainov (a3) (a4) and Richard A. Shore (a5)
Abstract

Effective model theory is the subject that analyzes the typical notions and results of model theory to determine their effective content and counterparts. The subject has been developed both in the former Soviet Union and in the west with various names (recursive model theory, constructive model theory, etc.) and divergent terminology. (We use “effective model theory” as the most general and descriptive designation. Harizanov [6] is an excellent introduction to the subject as is Millar [13].) The basic subjects of model theory include languages, structures, theories, models and various types of maps between these objects. There are many ways to introduce considerations of effectiveness into the area. The two most prominent derive from starting, on the one hand, with the notion of a theory and its models or, on the other, with just structures.

If one begins with theories, then a natural version of effectiveness is to consider decidable theories (i.e., ones with a decidable (equivalently, computable or recursive) set of theorems). When one moves to models and wants them to be effective, one might start with the requirement that the model (of any theory) have a decidable theory (i.e., Th (), the set of sentences true in , is decidable). Typically, however, one wants to be able to talk about the elements of the model as well as its theory in the given language. Thus one naturally considers the model as a structure for the language expanded by adding a constant ai, for each element ai of . Of course, one requires that the mapping from the constants to the corresponding elements of be effective (computable). We are thus lead to the following basic definition:

A structure or model is decidable if there is a computable enumeration ai of A, the domain of , such that Th(, ai,) is decidable. (Of course, ai, is interpreted as ai, for each i Є ω.)

Copyright
References
Hide All
[1]Crossley J. N. (editor), Aspects of effective algebra, Upside Down A Book, Yarra Glen, 1981, Proceedings of a conference at Monash University, Australia, 1–4 08, 1979.
[2]Ershov Yu. and Goncharov S. S. (editors), Logic notebook: problems in mathematical logic, Novosibirsk University, 1986.
[3]Fröhlich A. and Shepherdson J. C., Effective procedures infield theory, Philosophical Transactions of the Royal Society of London, vol. 248 (1956), pp. 407–432.
[4]Goncharov S. S., The problem of the number of non-self-equivalent constructivizations, Algebra i Logika, vol. 19 (1980), pp. 621–639.
[5]Grzegorczyk A., On the definitions of computable real continuous functions, Fundamenta Mathematicae, vol. 44 (1957), pp. 61–71.
[6]HARIZANOV V., Pure recursive model theory, Handbook of recursive mathematics (Ershov Y, Goncharov S., Nerode A., and Remmel J., editors), to appear.
[7]HARIZANOV V., The possible Turing degree of a nonzero member in a two element degree spectrum, Annals of Pure and Applies Logic, vol. 60 (1993), pp. 1–30.
[8]Harrington L., Recursively presentable prime models, this Journal, vol. 39 (1974), pp. 305–309.
[9]Khisamiev N., On strongly constructive models of decidable theories, Izvestiya kademiya Nauk Kazakhstan SSR, vol. 1 (1974), pp. 83–94.
[10]Khoussainov B. and Shore R., Computable isomorphisms, degree spectra of relations, and Scott families,to appear in Annals of Pure and Applied Logic.
[11]Lacombe D., Extension de la notion de function recursive aux functions d’une ou plussiers variables réelles, Comptes Rendus de l’Académic des Sciences, Paris, vol. 240 (1955), pp. 151–153.
[12]Mal‘cev A. I., Constructive algebras I, Uspekhi Matemematischeskoe Nauk, vol. 16 (1961), pp. 3–60.
[13]Millar T., Abstract recursive model theory, Handbook of recursion theory, (Griffor E., editor), North-Holland, to appear.
[14]Millar T., Recursive categoricity and persistence, this Journal, vol. 51 (1986), pp. 430–434.
[15]Rabin M. O., Computable algebra, general theory and theory of computable fields, Transactions of the American Mathematical Society, vol. 95 (1960), pp. 341–360.
[16]Remmel J. B. and Crossley J. N., The work of Anil Nerode: a retrospective, Logical methods (Crossley J. N., Remmel J. B., Shore R. A., and Sweedler M. E., editors), Birkhäuser,Boston, 1993, pp. 1–91.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 2 *
Loading metrics...

Abstract views

Total abstract views: 58 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 19th November 2017. This data will be updated every 24 hours.