Spectra of Atomic Theories

2009 ◽  
Vol 78 (4) ◽  
pp. 1189-1198
Author(s):  
Uri Andrews ◽  
Julia F. Knight
Keyword(s):  
Order Theory ◽  
Turing Degrees ◽  
Atomic Theory ◽  
First Order ◽  
First Order Theory ◽  
Countable Structure

AbstractFor a countable structure , the spectrum is the set of Turing degrees of isomorphic copies of . For a complete elementary first order theory T, the spectrum is the set of Turing degrees of models of T. We answer a question from [1] by showing that there is an atomic theory T whose spectrum does not match the spectrum of any structure.

On homogeneity and definability in the first-order theory of the Turing degrees

1982 ◽  
Vol 47 (1) ◽  
pp. 8-16 ◽  
Author(s):  
Richard A. Shore
Keyword(s):  
Recursion Theory ◽  
Order Theory ◽  
Partial Ordering ◽  
Turing Degrees ◽  
First Order ◽  
Recursive Functions ◽  
First Order Theory ◽  
Partial Recursive Functions ◽  
Carry Over

Relativization—the principle that says one can carry over proofs and theorems about partial recursive functions and Turing degrees to functions partial recursive in any given set A and the Turing degrees of sets in which A is recursive—is a pervasive phenomenon in recursion theory. It led H. Rogers, Jr. [15] to ask if, for every degree d, (≥ d), the partial ordering of Turing degrees above d, is isomorphic to all the degrees . We showed in Shore [17] that this homogeneity conjecture is false. More specifically we proved that if, for some n, the degree of Kleene's (the complete set) is recursive in d(n) then ≇ (≤ d). The key ingredient of the proof was a new version of a result from Nerode and Shore [13] (hereafter NS I) that any isomorphism φ: → (≥ d) must be the identity on some cone, i.e., there is an a called the base of the cone such that b ≥ a ⇒ φ(b) = b. This result was combined with information about minimal covers from Jockusch and Soare [8] and Harrington and Kechris [3] to derive a contradiction from the existence of such an isomorphism if deg() ≤ d(n).

scholarly journals A first-order theory of Ulm type

Computability ◽  
2019 ◽  
Vol 8 (3-4) ◽  
pp. 347-358
Author(s):  
Matthew Harrison-Trainor
Keyword(s):  
Order Theory ◽  
First Order ◽  
First Order Theory

scholarly journals Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers

2015 ◽  
Vol 57 (2) ◽  
pp. 157-185 ◽  
Author(s):  
Peter Franek ◽  
Stefan Ratschan ◽  
Piotr Zgliczynski
Keyword(s):  
Order Theory ◽  
Real Numbers ◽  
First Order ◽  
First Order Theory

The spectrum of resplendency

1990 ◽  
Vol 55 (2) ◽  
pp. 626-636
Author(s):  
John T. Baldwin
Keyword(s):  
Homogeneous Model ◽  
Order Theory ◽  
First Order ◽  
First Order Theory ◽  
Uncountable Cardinal ◽  
Recursive Theory ◽  
Finite Language

AbstractLet T be a complete countable first order theory and λ an uncountable cardinal. Theorem 1. If T is not superstable, T has 2λ resplendent models of power λ. Theorem 2. If T is strictly superstable, then T has at least min(2λ, ℶ2) resplendent models of power λ. Theorem 3. If T is not superstable or is small and strictly superstable, then every resplendent homogeneous model of T is saturated. Theorem 4 (with Knight). For each μ ∈ ω ∪ {ω, 2ω} there is a recursive theory in a finite language which has μ resplendent models of power κ for every infinite κ.

Sign in / Sign up

Export Citation Format

Share Document