Well ordering principles and bar induction

2014/05/18 by Rathjen, Michael, Vizcaino, Pedro Francisco Valencia · 1 citation
#03B30 #03F05 #03F15 #03F35 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1405.4485

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.

Cited by

• Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and Σ_n-Collection Schema

Related

• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of Σ⁰₂-induction: A pilot study
• Well ordering principles and Π¹₄-statements: a pilot study
• Coding with ladders a well-ordering of the reals
• Derivatives of normal functions and omega-models