Skip to main content

The least ∑ 12 and ∏ 12 reflecting ordinals

  • 201 Accesses

Part of the Lecture Notes in Mathematics book series (LNM,volume 499)

This is a preview of subscription content, access via your institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Aanderaa, Inductive definitions and their closure ordinals, in Generalized Recursion Theory, J.E. Fenstad, P.G. Hinman (eds.), North-Holland (1974), 207–220.

    Google Scholar 

  2. K. J. Barwise, R. O. Gandy and Y. N. Moschovakis, The next admissible set, J. Symb. Logic 36 (1971), 108–120.

    CrossRef  MATH  MathSciNet  Google Scholar 

  3. D. Cenzer, Ordinal recursion and inductive definitions, in Generalized Recursion Theory, J.E. Fenstad, P.G. Hinman (eds.), North-Holland (1974), 221–264.

    Google Scholar 

  4. A. Lévy, A hierarchy of formulas in set theory, Memoirs of the Amer. Math. Soc. 57, Amer. Math. Soc., Providence, (1965).

    Google Scholar 

  5. W. Marek and M. Srebrny, Gaps in the constructible universe, Ann. of Math. Logic 6 (1974), 359–394.

    CrossRef  MATH  MathSciNet  Google Scholar 

  6. Y. N. Moschovakis, Elementary Induction on Abstract Structures, North-Holland (1974).

    Google Scholar 

  7. Y. N. Moschovakis, On nonmonotone inductive definability, Fund. Math. 82 (1974). 39–83.

    MATH  MathSciNet  Google Scholar 

  8. 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.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. J.R. Shoenfield, Mathematical Logic, Addison-Wesley (1967).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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