An ordinal analysis of stability

@article{Rathjen2005AnOA,
  title={An ordinal analysis of stability},
  author={M. Rathjen},
  journal={Archive for Mathematical Logic},
  year={2005},
  volume={44},
  pages={1-62}
}
  • M. Rathjen
  • Published 2005
  • Computer Science, Mathematics
  • Archive for Mathematical Logic
  • Abstract.This paper is the first in a series of three which culminates in an ordinal analysis of Π12-comprehension. On the set-theoretic side Π12-comprehension corresponds to Kripke-Platek set theory, KP, plus Σ1-separation. The strength of the latter theory is encapsulated in the fact that it proves the existence of ordinals π such that, for all β>π, π is β-stable, i.e. Lπ is a Σ1-elementary substructure of Lβ. The objective of this paper is to give an ordinal analysis of a scenario of not too… CONTINUE READING
    34 Citations

    Topics from this paper.

    An ordinal analysis of parameter free Π12-comprehension
    • M. Rathjen
    • Mathematics, Computer Science
    • Arch. Math. Log.
    • 2005
    • 46
    • PDF
    The art of ordinal analysis
    • 34
    • PDF
    Proof theory for theories of ordinals II: Pi3-reflection
    • T. Arai
    • Computer Science, Mathematics
    • Ann. Pure Appl. Log.
    • 2004
    • 32
    • PDF
    A Buchholz derivation system for the ordinal analysis of KP+Π3-reflection
    • 3
    • PDF
    Weak systems of determinacy and arithmetical quasi-inductive definitions
    • P. Welch
    • Mathematics, Computer Science
    • J. Symb. Log.
    • 2011
    • 31
    • PDF
    Classifying the Provably Total set Functions of KP and KP(P)
    • 1
    • PDF
    Relativized ordinal analysis: The case of Power Kripke-Platek set theory
    • M. Rathjen
    • Mathematics, Computer Science
    • Ann. Pure Appl. Log.
    • 2014
    • 13
    • PDF
    Proof theory and Martin-Löf Type Theory
    • 2
    • PDF

    References

    SHOWING 1-10 OF 31 REFERENCES
    An ordinal analysis of parameter free Π12-comprehension
    • M. Rathjen
    • Mathematics, Computer Science
    • Arch. Math. Log.
    • 2005
    • 46
    • PDF
    Recent advances in ordinal analysis: pi12 - CA and related systems
    • M. Rathjen
    • Mathematics, Computer Science
    • Bull. Symb. Log.
    • 1995
    • 56
    • PDF
    Systems of Predicative Analysis, II: Representations of Ordinals
    • S. Feferman
    • Mathematics, Computer Science
    • J. Symb. Log.
    • 1968
    • 95
    Proof-theoretic analysis of KPM
    • M. Rathjen
    • Mathematics, Computer Science
    • Arch. Math. Log.
    • 1991
    • 85
    • PDF
    The strength of some Martin-Löf type theories
    • 103
    • PDF
    Proof Theory of Reflection
    • M. Rathjen
    • Mathematics, Computer Science
    • Ann. Pure Appl. Log.
    • 1994
    • 63
    • PDF
    Higher Recursion Theory
    • 385
    How to Develop Proof-Theoretic Ordinal Functions on the Basis of Admissible Ordinals
    • M. Rathjen
    • Mathematics, Computer Science
    • Math. Log. Q.
    • 1993
    • 32
    Explicit Mathematics with The Monotone Fixed Point Principle. II: Models
    • M. Rathjen
    • Computer Science, Mathematics
    • J. Symb. Log.
    • 1999
    • 16