Ordinal notations based on a hierarchy of inaccessible cardinals

Annals of Pure and Applied Logic 33 (C):157-179 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(87)90079-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

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

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.
On Wainer's notation for a minimal subrecursive inaccessible ordinal.Noriya Kadota - 1993 - Mathematical Logic Quarterly 39 (1):217-227.
Assignment of Ordinals to Patterns of Resemblance.Gunnar Wilken - 2007 - Journal of Symbolic Logic 72 (2):704 - 720.
Γ0 May Be Minimal Subrecursively Inaccessible.Andreas Weiermann - 2001 - Mathematical Logic Quarterly 47 (3):397-408.
Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees.L. Gordeev - 1989 - Archive for Mathematical Logic 29 (1):29-46.
Normal forms for elementary patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
An ordinal analysis of admissible set theory using recursion on ordinal notations.Jeremy Avigad - 2002 - Journal of Mathematical Logic 2 (1):91-112.
Proof theory and ordinal analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.
Fruitful and helpful ordinal functions.Harold Simmons - 2008 - Archive for Mathematical Logic 47 (7-8):677-709.
Functors and ordinal notations. I: A functorial construction of the veblen hierarchy.Jean-Yves Girard & Jacqueline Vauzeilles - 1984 - Journal of Symbolic Logic 49 (3):713-729.
Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy.Jean-Yves Girard & Jacqueline Vauzeilles - 1984 - Journal of Symbolic Logic 49 (4):1079 - 1114.
Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones. [REVIEW]Andreas Weiermann - 1995 - Archive for Mathematical Logic 34 (5):313-330.
Types in class set theory and inaccessible cardinals.M. Victoria Marshall - 1996 - Archive for Mathematical Logic 35 (3):145-156.
P-hierarchy on β ω.Andrzej Starosolski - 2008 - Journal of Symbolic Logic 73 (4):1202-1214.

Analytics

Added to PP
2014-01-16

Downloads
17 (#849,202)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wolfram Pohlers
University of Muenster

Citations of this work

Proof-theoretic analysis of KPM.Michael Rathjen - 1991 - Archive for Mathematical Logic 30 (5-6):377-403.
Ordinal notations based on a weakly Mahlo cardinal.Michael Rathjen - 1990 - Archive for Mathematical Logic 29 (4):249-263.

Add more citations

References found in this work

A well-ordering proof for Feferman's theoryT 0.Gerhard Jäger - 1983 - Archive for Mathematical Logic 23 (1):65-77.

Add more references