A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC
From MaRDI portal
Publication:5044314
DOI10.1017/bsl.2022.23OpenAlexW4281859665MaRDI QIDQ5044314
Publication date: 25 October 2022
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2207.11693
Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03)
Cites Work
- Finite investigations of transfinite derivations
- Elementary descent recursion and proof theory
- Induction rules, reflection principles, and provably recursive functions
- Parameter free induction and provably total computable functions
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Notation systems for infinitary derivations
- Arithmetization of metamathematics in a general setting
- The optimality of induction as an axiomatization of arithmetic
- Reflection Principles in Fragments of Peano Arithmetic
- On parameter free induction schemas
- REFLECTION RANKS AND ORDINAL ANALYSIS
- Ordinal Analysis with an Introduction to Proof Theory
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
- Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
- Transfinite recursive progressions of axiomatic theories
- Reducing ω-model reflection to iterated syntactic reflection
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item