Skip to main content
Springer Nature Link
Log in

ϱ-inaccessible ordinals, collapsing functions and a recursive notation system

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Bachmann, H.: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordinalzahlen. Vierteljahresschrift der Naturforschenden Gesellschaft Zürich 95 (1950).

  2. Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. Proof Theory Symposion Kiel 1974. Lectures Notes in Mathematics, Vol. 500. Berlin, Heidelberg, New York: Springer 1975.

    Google Scholar 

  3. Buchholz, W.: The Ωμ+1-rule. In: Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.: Iterated inductive definitions and subsystems of analysis. Lecture Notes in Mathematics, Vol. 897. Berlin, Heidelberg, New York: Springer 1981.

    Google Scholar 

  4. Buchholz, W.: Ordinal analysis of IDv. In: Buchholz, W., Feferman, S., Pohlers, W., Sieg, S.: Iterated inductive definitions and subsystems of analysis. Lecture Notes in Mathematics, Vol. 897. Berlin, Heidelberg, New York: Springer 1981

    Google Scholar 

  5. Buchholz, W.: Collapsing functions. München (1982) (to appear).

  6. Drake, F.R.: Set theory. An introduction to large cardinals. Amsterdam: North-Holland 1974.

    Google Scholar 

  7. Isles, D.: Regular ordinals and normal forms. Intuitionism and proof theory. Amsterdam: North-Holland 1970.

    Google Scholar 

  8. Pfeiffer, H.: Über zwei Bezeichnungssysteme für Ordinalzahlen. Arch. math. Logik16, 23–36 (1974).

    Google Scholar 

  9. Pohlers, W.: Ordinal notations based onk-inaccessible ordinals. Preprint, München (1981).

  10. Schütte, K.: Proof. theory. Berlin, Heidelberg, New York: Springer 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematisches Institut der Universität, Theresienstrasse 39, D-8000, München 2, Federal Republic of Germany

    Gerhard Jäger

Authors
  1. Gerhard Jäger
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work is part of a project supported by the Deutsche Forschungsgemeinschaft.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jäger, G. ϱ-inaccessible ordinals, collapsing functions and a recursive notation system. Arch math Logik 24, 49–62 (1984). https://doi.org/10.1007/BF02007140

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02007140

Keywords

Search

Navigation