\(\tilde \Delta _1\)-definability in set theory

  • Moto-o Takahashi
Conference paper
First Online:
Part of the Lecture Notes in Mathematics book series (LNM, volume 255)

Keywords

Ordinal Number Axiom System Predicate Symbol Axiom Schema Regular Cardinal 
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.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Cohen, P. J., The independence of the continuum hypothesis, PNAS 50 (1963), 1143–1148; 51 (1964), 105–110.MathSciNetCrossRefMATHGoogle Scholar
  2. [2]
    Easton, W. B., Powers of regular cardinals, Annals of Math. Logic 1 (1970), 139–178.MathSciNetCrossRefMATHGoogle Scholar
  3. [3]
    Garland, S. J., Second-order cardinal characterizability, preprint of a paper presented at the Summer Institute for Set Theory, Los Angeles 1967.Google Scholar
  4. [4]
    Kripke, S., Transfinite recursions, constructible sets and analogues of cardinals, preprint of a paper presented at the Summer Institute for Set Theory, Los Angeles 1967.Google Scholar
  5. [5]
    Lévy, A., A hierarchy of formulas in set theory, Memoirs of American Mathematical Society No. 57 (1965).Google Scholar
  6. [6]
    Myhill, J., and Scott, D., Ordinal definability, in Axiomatic Set Theory, Part I, Dana S. Scott (ed.), Amer. Math. Soc. (1971).Google Scholar
  7. [7]
    Platek, R., Foundations of recursion theory, Doctoral dissertation and Supplement, Stanford University (1966).Google Scholar
  8. [8]
    Solovay, R., 2 X o can be anything it ought to be, in The theory of models, North-Holland, Amsterdam (1965), 435 (abstract).Google Scholar
  9. [9]
    Takahashi, M., Recursive functions of ordinal numbers and Lévy's hierarchy, Comment. Math. Univ. St. Paul. 17 (1968), 21–29.MathSciNetMATHGoogle Scholar
  10. [10]
    Takahashi, M., An induction principle in set theory I, Yokohama Mathematical Journal 17 (1969), 53–59.MathSciNetMATHGoogle Scholar
  11. [11]
    Takeuti, G., On the recursive functions of ordinal numbers, J. Math. Soc. Japan 12 (1960), 119–128.MathSciNetCrossRefMATHGoogle Scholar
  12. [12]
    Feferman, S., and Kreisel, G., Persistent and invariant formulas relative to theories of higher order, BAMS 72 (1966), 480–485.MathSciNetCrossRefMATHGoogle Scholar
  13. [13]
    Karp, C. R., A proof of the relative consistency of the continuum hypothesis, in Sets, Models and Recursion Theory, John N. Crossley (ed.), North-Holland (1967), 1–32.Google Scholar
  14. [14]
    Kruse, A. H., Localization and iteration of axiomatic set theory, Wayne State University Press, Detroit.Google Scholar

Copyright information

© Springer-Verlag 1972

Authors and Affiliations

  • Moto-o Takahashi
    • 1
  1. 1.Rikkyo UniversityTokyo

Personalised recommendations