Advertisement

Israel Journal of Mathematics

, Volume 18, Issue 1, pp 53–64 | Cite as

More Lowenheim-Skolem results for admissible sets

  • Mark Nadel
Article

Abstract

It is shown that ifA is a countable, admissible set and ø ∈{ie53-1}, then under certain conditions, ø has a model inA. In general, however, ifT is a consistent theory of {ie53-2}, Σ-definable onA, then there is an admissible setBA, with the same ordinals asA, containing a model ofT.

Keywords

Prime Model Consistent Theory Consistency Property Constant Symbol Recursion Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J. Barwise,Infinitary logic and admissible sets, Doctoral Dissertation, Standford University, 1967.Google Scholar
  2. 2.
    J. Barwise,Admissible sets over models of set theory, to appear.Google Scholar
  3. 3.
    J. Barwise,Admissible sets, Lecture Notes in Mathematics, Springer-Verlag, Berlin, to appear.Google Scholar
  4. 4.
    J. Gregory,Incompleteness of a formal system for infinitary finite-quantifier formulas, J. Symbolic Logic36 (1971), 445–455.MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    T. J. Grilliot,Omitting types; application to recursion theory, J. Symbolic Logic37 (1972), 81–89.MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    H. J. Keisler,Model theory for infinitary logic, North Holland, Amsterdam, 1971.MATHGoogle Scholar
  7. 7.
    J. Maltiz,On the Hanf number of complete L ω1ω sentences, Lecture Notes in Mathematics 72, Springer-Verlag, Berlin, 1968, 166–181.Google Scholar
  8. 8.
    M. Nadel,Some Lowenheim-Skolem results for admissible sets, Israel J. Math.12 (1972), 427–432.MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    M. Nadel,Scott sentences and admissible sets, Anal. of Math. Logic to appear.Google Scholar
  10. 10.
    G. E. Sacks,Countable admissible ordinals and hyperdegrees, to appear.Google Scholar

Copyright information

© The Weizmann Science Press of Israel 1974

Authors and Affiliations

  • Mark Nadel
    • 1
  1. 1.Department of MathematicsCalifornia Institute of TechnologyPasadenaU.S.A.

Personalised recommendations