A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION

DOI10.1017/JSL.2017.71zbMath1467.03031OpenAlexW2913433379WikidataQ128416892 ScholiaQ128416892MaRDI QIDQ4628680

Sato Kentaro

Publication date: 15 March 2019

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2017.71

zbMATH Keywords

proof-theoretic ordinalHardy hierarchypartial conservationprovably total functionBuchholz's finite code of infinitary proofinfinitary semi-formal systemMints's repetition rule

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25)

Related Items (6)

Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts ⋮ A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives ⋮ Ordinal analyses for monotone and cofinal transfinite inductions ⋮ A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection ⋮ FINITIST AXIOMATIC TRUTH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• From hierarchies to well-foundedness
• Proof theory. The first step into impredicativity
• A consistency proof of a system including Feferman's \(ID_{\xi}\) by Takeuti's reduction method
• Nested recursion
• Finite investigations of transfinite derivations
• Proof-theoretic analysis by iterated reflection
• Ordinal Analysis and the Infinite Ramsey Theorem
• A Model-Theoretic Approach to Ordinal Analysis
• Intuitionistic Fixed Point Theories for Strictly Positive Operators
• Systems of predicative analysis, II: Representations of ordinals

This page was built for publication: A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION