A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC

DOI10.1017/bsl.2022.23OpenAlexW4281859665MaRDI QIDQ5044314

Emanuele Frittaion

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

zbMATH Keywords

second order arithmeticpredicative cut elimination\( \omega \)-arithmeticuniform reflection

Mathematics Subject Classification ID

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