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, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Cohen, P. J., The independence of the continuum hypothesis, PNAS 50 (1963), 1143–1148; 51 (1964), 105–110.
Easton, W. B., Powers of regular cardinals, Annals of Math. Logic 1 (1970), 139–178.
Garland, S. J., Second-order cardinal characterizability, preprint of a paper presented at the Summer Institute for Set Theory, Los Angeles 1967.
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.
Lévy, A., A hierarchy of formulas in set theory, Memoirs of American Mathematical Society No. 57 (1965).
Myhill, J., and Scott, D., Ordinal definability, in Axiomatic Set Theory, Part I, Dana S. Scott (ed.), Amer. Math. Soc. (1971).
Platek, R., Foundations of recursion theory, Doctoral dissertation and Supplement, Stanford University (1966).
Solovay, R., 2 X o can be anything it ought to be, in The theory of models, North-Holland, Amsterdam (1965), 435 (abstract).
Takahashi, M., Recursive functions of ordinal numbers and Lévy's hierarchy, Comment. Math. Univ. St. Paul. 17 (1968), 21–29.
Takahashi, M., An induction principle in set theory I, Yokohama Mathematical Journal 17 (1969), 53–59.
Takeuti, G., On the recursive functions of ordinal numbers, J. Math. Soc. Japan 12 (1960), 119–128.
Feferman, S., and Kreisel, G., Persistent and invariant formulas relative to theories of higher order, BAMS 72 (1966), 480–485.
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.
Kruse, A. H., Localization and iteration of axiomatic set theory, Wayne State University Press, Detroit.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1972 Springer-Verlag
About this paper
Cite this paper
Takahashi, Mo. (1972). \(\tilde \Delta _1\)-definability in set theory. In: Hodges, W. (eds) Conference in Mathematical Logic — London ’70. Lecture Notes in Mathematics, vol 255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0059549
Download citation
DOI: https://doi.org/10.1007/BFb0059549
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-05744-4
Online ISBN: 978-3-540-37162-5
eBook Packages: Springer Book Archive
