Computability of Homogeneous Models
Lange, Karen ; Soare, Robert I.
Notre Dame J. Formal Logic, Tome 48 (2007) no. 1, p. 143-170 / Harvested from Project Euclid
In the last five years there have been a number of results about the computable content of the prime, saturated, or homogeneous models of a complete decidable (CD) theory T in the spirit of Vaught's "Denumerable models of complete theories" combined with computability methods for (Turing) degrees d ≤ 0′. First we recast older results by Goncharov, Peretyat'kin, and Millar in a more modern framework which we then apply. Then we survey recent results by Lange, "The degree spectra of homogeneous models," which generalize the older results and which include positive results on when a certain homogeneous model $\cal A$ of T has an isomorphic copy of a given Turing degree. We then survey Lange's "A characterization of the 0-basis homogeneous bounding degrees" for negative results about when $\cal A$ does not have such copies, generalizing negative results by Goncharov, Peretyat'kin, and Millar. Finally, we explain recent results by Csima, Harizanov, Hirschfeldt, and Soare, "Bounding homogeneous models," about degrees d that are homogeneous bounding and explain their relation to the PA degrees (the degrees of complete extensions of Peano Arithmetic).
Publié le : 2007-01-14
Classification:  prime,  saturated,  homogeneous,  model,  computable model theory,  compatability theory,  03D35,  03D30,  03D80
@article{1172787551,
     author = {Lange, Karen and Soare, Robert I.},
     title = {Computability of Homogeneous Models},
     journal = {Notre Dame J. Formal Logic},
     volume = {48},
     number = {1},
     year = {2007},
     pages = { 143-170},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1172787551}
}
Lange, Karen; Soare, Robert I. Computability of Homogeneous Models. Notre Dame J. Formal Logic, Tome 48 (2007) no. 1, pp.  143-170. http://gdmltest.u-ga.fr/item/1172787551/