Advertisement

The least ∑21 and ∏21 reflecting ordinals

  • Wayne Richter
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 499)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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. [2]
    K. J. Barwise, R. O. Gandy and Y. N. Moschovakis, The next admissible set, J. Symb. Logic 36 (1971), 108–120.zbMATHMathSciNetCrossRefGoogle Scholar
  3. [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. [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. [5]
    W. Marek and M. Srebrny, Gaps in the constructible universe, Ann. of Math. Logic 6 (1974), 359–394.zbMATHMathSciNetCrossRefGoogle Scholar
  6. [6]
    Y. N. Moschovakis, Elementary Induction on Abstract Structures, North-Holland (1974).Google Scholar
  7. [7]
    Y. N. Moschovakis, On nonmonotone inductive definability, Fund. Math. 82 (1974). 39–83.zbMATHMathSciNetGoogle Scholar
  8. [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. [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. [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. [11]
    J.R. Shoenfield, Mathematical Logic, Addison-Wesley (1967).Google Scholar

Copyright information

© Springer-Verlag 1975

Authors and Affiliations

  • Wayne Richter
    • 1
  1. 1.University of MinnesotaMinnesotaUSA

Personalised recommendations