The role of parameters in bar rule and bar induction

DOI10.2307/2274713zbMath0736.03024OpenAlexW1976927494MaRDI QIDQ3984445

Michael Rathjen

Publication date: 27 June 1992

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

Full work available at URL: https://doi.org/10.2307/2274713

zbMATH Keywords

parameterstransfinite inductioncomprehensionbar inductionbar ruleprimitive recursive relation

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items (9)

Relative Truth Definability of Axiomatic Truth Theories ⋮ Second order theories with ordinals and elementary comprehension ⋮ AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS ⋮ The Veblen functions for computability theorists ⋮ An ordinal analysis for theories of self-referential truth ⋮ Unfolding Schematic Systems ⋮ Reverse mathematics and well-ordering principles: a pilot study ⋮ On Fraïssé's conjecture for linear orders of finite Hausdorff rank ⋮ The unfolding of non-finitist arithmetic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Countable algebra and set existence axioms
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
• Proof theory

This page was built for publication: The role of parameters in bar rule and bar induction