Well-ordering principles and bar induction

DOI10.1007/978-3-319-10103-3_19MaRDI QIDQ5361262zbMATH OpenOpenAlexWikidataFDO

Authors Michael Rathjen, Pedro Francisco Valencia Vizcaíno

Publication date 27 September 2017

Published in Gentzen's Centenary (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1405.4485

zbMATH Keywords

\(\omega\)-modelsbar inductionHoward-Bachmann operationwell-ordering

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15) Second- and higher-order arithmetic and fragments (03F35)

Abstract: In this paper we show that the existence of omega-models of bar induction is equivalent to the principle saying that applying the Howard-Bachmann operation to any well-ordering yields again a well-ordering.

Recommendations

• Bar induction and model reflection
• scientific article; zbMATH DE number 6536275
• scientific article; zbMATH DE number 1795235
• Proof-theoretic strengths of the well-ordering principles
• Reverse mathematics and well-ordering principles: a pilot study

Cited in

(13)

• Bar induction and model reflection
• A formalization of Brouwer's argument for bar induction
• \(\Pi_1^1\)-comprehension as a well-ordering principle
• The role of parameters in bar rule and bar induction
• scientific article; zbMATH DE number 1795235 (Why is no real title available?)
• Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Predicative collapsing principles
• Computable aspects of the Bachmann-Howard principle
• WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY
• A note on ordinal exponentiation and derivatives of normal functions
• Functorial Fast-Growing Hierarchies
• Fraïssé's conjecture, partial impredicativity and well-ordering principles. I

This page was built for publication: Well-ordering principles and bar induction

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