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

Archive for Mathematical Logic 24 (1):49-62 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A notation system for ordinal using ψ‐functions on inaccessible mahlo numbers.Helmut Pfeiffer & H. Pfeiffer - 1992 - Mathematical Logic Quarterly 38 (1):431-456.
Eine ErweiterungT(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ0) von G. Jäger.Kurt Schütte - 1988 - Archive for Mathematical Logic 27 (1):85-99.
Ein Wohlordnungsbeweis für das OrdinalzahlensystemT(J).K. Schütte - 1988 - Archive for Mathematical Logic 27 (1):5-20.
How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals.Michael Rathjen - 1993 - Mathematical Logic Quarterly 39 (1):47-54.
Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM. [REVIEW]Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (1):35-55.
Ordinal diagrams for recursively Mahlo universes.Toshiyasu Arai - 2000 - Archive for Mathematical Logic 39 (5):353-391.
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM.Osamu Takaki - 2005 - Archive for Mathematical Logic 44 (6):689-709.
A classification of the ordinal recursive functions.S. S. Wainer - 1970 - Archive for Mathematical Logic 13 (3-4):136-153.
A classification of the one-argument primitive recursive functions.Jovan Naumović - 1983 - Archive for Mathematical Logic 23 (1):161-174.
Productive sets and constructively nonpartial-recursive functions.Akira Kanda - 1988 - Archive for Mathematical Logic 27 (1):49-50.

Analytics

Added to PP
2014-04-08

Downloads
16 (#1,196,523)

6 months
16 (#191,673)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof-theoretic analysis of KPM.Michael Rathjen - 1991 - Archive for Mathematical Logic 30 (5-6):377-403.
A new system of proof-theoretic ordinal functions.W. Buchholz - 1986 - Annals of Pure and Applied Logic 32:195-207.
Ordinal notations based on a weakly Mahlo cardinal.Michael Rathjen - 1990 - Archive for Mathematical Logic 29 (4):249-263.
Ordinal notations based on a hierarchy of inaccessible cardinals.Wolfram Pohlers - 1987 - Annals of Pure and Applied Logic 33 (C):157-179.

Add more citations

References found in this work

No references found.

Add more references