Journal of Symbolic Logic 69 (2):430 - 442 (2004)
We consider the Turing degrees of prime models of complete decidable theories. In particular we show that every complete decidable atomic theory has a prime model whose elementary diagram is low. We combine the construction used in the proof with other constructions to show that complete decidable atomic theories have low prime models with added properties. If we have a complete decidable atomic theory with all types of the theory computable, we show that for every degree d with 0 0, T has a d-decidable model omitting the nonprincipal types listed by L
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Foundations of Recursive Model Theory.Terrence S. Millar - 1978 - Annals of Mathematical Logic 13 (1):45-72.
Citations of this work BETA
No citations found.
Similar books and articles
Bounding Prime Models.Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight & Robert I. Soare - 2004 - Journal of Symbolic Logic 69 (4):1117 - 1142.
Degree Spectra of Relations on Computable Structures in the Presence of Δ02 Isomorphisms.Denis R. Hirschfeldt - 2002 - Journal of Symbolic Logic 67 (2):697 - 720.
A Complete, Decidable Theory with Two Decidable Models.Terrence S. Millar - 1979 - Journal of Symbolic Logic 44 (3):307-312.
Complexity, Decidability and Completeness.Douglas Cenzer & Jeffrey B. Remmel - 2006 - Journal of Symbolic Logic 71 (2):399 - 424.
The Theory of Integer Multiplication with Order Restricted to Primes is Decidable.Françoise Maurin - 1997 - Journal of Symbolic Logic 62 (1):123-130.
Categoricity and U-Rank in Excellent Classes.Olivier Lessmann - 2003 - Journal of Symbolic Logic 68 (4):1317-1336.
Definability of Types, and Pairs of o-Minimal Structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
Prime Numbers and Factorization in IE1 and Weaker Systems.Stuart T. Smith - 1992 - Journal of Symbolic Logic 57 (3):1057 - 1085.
On Dedekind Complete o-Minimal Structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
Added to index2010-08-24
Total downloads13 ( #355,454 of 2,172,602 )
Recent downloads (6 months)1 ( #325,029 of 2,172,602 )
How can I increase my downloads?