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
P. Aczel, The ordinals of the superjump and related functionals, Abstract, this volume pp. 336f.
J. Barwise, R. Gandy and Y. Moschovakis, The next admissible set, J. Symb. Logic 36 (1971), 108–120.
R. B. Jensen and C. Karp, Primitive recursive set functions, in Axiomatic Set Theory, Part I, ed. Dana S. Scott, Amer. Math. Soc. Proceedings of Symposia in Pure Maths. (1971).
P. Mahlo, Über lineare transfinite Mengen, Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Klasse 63 (1911), 187–225.
S. Kripke, Transfinite recursions on admissible ordinals, I, II, J. Symb. Logic 29 (1964), 161–162 (abstracts).
S. Kripke, Transfinite recursion, constructible sets, and analogues of cardinals, in: Lecture notes prepared in connection with the Summer Institute on Axiomatic Set Theory held at University of California, Los Angeles, California, July–August, 1967.
A. Lévy, A hierarchy of formulas in set theory, Memoirs of the Amer. Math. Soc. 57, Amer. Math. Soc., Providence, 1965.
A. Lévy, The sizes of the indescribable cardinals, in Axiomatic Set Theory, Part I, ed. Dana S. Scott, Amer. Math. Soc. Proceedings of Symposia in Pure Maths. (1971).
R. A. Platek, Foundations of recursion theory, Ph. D. Thesis and Supplement, Stanford University, 1966.
H. Putnam, On hierarchies and systems of notations, Amer. Math. Soc. Proc. 15 (1964), 44–50.
W. Richter, Recursively Mahlo ordinals and inductive definitions, in Logic Colloquium '69, R. O. Gandy, C. E. M. Yates (eds.), North-Holland (1971), 273–288.
H. Rogers, Jr., Theory of recursive functions and effective computability, McGraw-Hill (1967).
C. Spector, Inductively defined sets of natural numbers, in Infinitistic methods, New York-Oxford-London-Paris and Warsaw (1961), 97–102.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1972 Springer-Verlag
About this paper
Cite this paper
Aczel, P., Richter, W. (1972). Inductive definitions and analogues of large cardinals. In: Hodges, W. (eds) Conference in Mathematical Logic — London ’70. Lecture Notes in Mathematics, vol 255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0059534
Download citation
DOI: https://doi.org/10.1007/BFb0059534
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
