REFLECTION RANKS AND ORDINAL ANALYSIS
From MaRDI portal
Publication:5021919
DOI10.1017/jsl.2020.9OpenAlexW3101165093MaRDI QIDQ5021919
No author found.
Publication date: 17 January 2022
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1805.02095
Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)
Related Items (7)
Reflection algebras and conservation results for theories of iterated truth ⋮ A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC ⋮ Reducing ω-model reflection to iterated syntactic reflection ⋮ AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS ⋮ Characterizations of ordinal analysis ⋮ AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW ⋮ Truth, disjunction, and induction
Cites Work
- Positive provability logic for uniform reflection principles
- Proof theory. The first step into impredicativity
- Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
- Proof-theoretic analysis by iterated reflection
- Provability algebras and proof-theoretic ordinals. I
- Iterated local reflection versus iterated consistency
- Truth, disjunction, and induction
- On the positive fragment of the polymodal provability logic GLP
- Reflection principles and provability algebras in formal arithmetic
- Iterated reflection principles and the ω-rule
- Descending sequences of degrees
- Uniformly defined descending sequences of degrees
- Incompleteness and jump hierarchies
- Reflection calculus and conservativity spectra
- Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: REFLECTION RANKS AND ORDINAL ANALYSIS