The atomic model theorem and type omitting

  • Hirschfeldt D
  • Shore R
  • Slaman T
  • 3


    Mendeley users who have this article in their library.
  • 28


    Citations of this article.


We investigate the complexity of several classical model theoretic theorems about prime and atomic models and omitting types. Some are provable in RCA0, others are equivalent to ACA0. One, that every atomic theory has an atomic model, is not provable in RCA0 but is incomparable with WKL0, more than Π1 1 conservative over RCA0 and strictly weaker than all the combinatorial principles of Hirschfeldt and Shore [2007] that are not Π1 1 conservative over RCA0. A prior- ity argument with Shore blocking shows that it is also Π1 1-conservative over BΣ2. We also provide a theorem provable by a finite injury priority argument that is conservative over IΣ1 but implies IΣ2 over BΣ2, and a type omitting theorem that is equivalent to the principle that for every X there is a set that is hyperimmune relative to X. Finally, we give a version of the atomic model theorem that is equiv- alent to the principle that for every X there is a set that is not recursive in X, and is thus in a sense the weakest possible natural principle not true in the ω-model consisting of the recursive sets. Hirschfeldt’s

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Denis R Hirschfeldt

  • Richard Shore

  • Theodore Slaman

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free