This is a preview of subscription content, access via your institution.
Preview
Unable to display preview. Download preview PDF.
References
S. Aanderaa, Inductive definitions and their closure ordinals, in Generalized Recursion Theory, J.E. Fenstad, P.G. Hinman (eds.), North-Holland (1974), 207–220.
K. J. Barwise, R. O. Gandy and Y. N. Moschovakis, The next admissible set, J. Symb. Logic 36 (1971), 108–120.
D. Cenzer, Ordinal recursion and inductive definitions, in Generalized Recursion Theory, J.E. Fenstad, P.G. Hinman (eds.), North-Holland (1974), 221–264.
A. Lévy, A hierarchy of formulas in set theory, Memoirs of the Amer. Math. Soc. 57, Amer. Math. Soc., Providence, (1965).
W. Marek and M. Srebrny, Gaps in the constructible universe, Ann. of Math. Logic 6 (1974), 359–394.
Y. N. Moschovakis, Elementary Induction on Abstract Structures, North-Holland (1974).
Y. N. Moschovakis, On nonmonotone inductive definability, Fund. Math. 82 (1974). 39–83.
W. Richter, Recursively Mahlo ordinals and inductive definitions, in Logic Colloguium '69, R. O. Gandy and C.E.M. Yates (eds.) North-Holland (1971), 273–288.
W. Richter and P. Aczel, Inductive definitions and reflecting properties of admissible ordinals, in Generalized Recursion Theory, J. E. Fenstad, P. G. Hinman (eds.), North-Holland (1974), 301–381.
J.R. Shoenfield, The problem of predicativity, Essays on the Foundations of Mathematics, Y. Bar-Hillel (ed.), Magnes Press (1961) and North-Holland (1962), 132–139.
J.R. Shoenfield, Mathematical Logic, Addison-Wesley (1967).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Richter, W. (1975). The least ∑ 12 and ∏ 12 reflecting ordinals. In: Müller, G.H., Oberschelp, A., Potthoff, K. (eds) ⊨ISILC Logic Conference. Lecture Notes in Mathematics, vol 499. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0079431
Download citation
DOI: https://doi.org/10.1007/BFb0079431
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07534-9
Online ISBN: 978-3-540-38022-1
eBook Packages: Springer Book Archive
