The role of parameters in bar rule and bar induction

DOI10.2307/2274713zbMATH Open0736.03024OpenAlexW1976927494MaRDI QIDQ3984445FDOQ3984445

Authors 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

parameterscomprehensionbar inductiontransfinite inductionbar ruleprimitive recursive relation

Mathematics Subject Classification ID

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

Recommendations

• On parameter free induction schemas
• scientific article; zbMATH DE number 1088194
• Bar induction and \(\omega\) model reflection
• Well-ordering principles and bar induction
• Bar induction. The good, the bad, and the ugly

Cites work

• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• scientific article; zbMATH DE number 193575 (Why is no real title available?)
• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
• Countable algebra and set existence axioms
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Proof theory
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?

Cited in

(9)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3984445)