Pages that link to "Item:Q1210139"

The following pages link to Fixed points in Peano arithmetic with ordinals (Q1210139):

Displaying 15 items.

• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
• The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
• Full operational set theory with unbounded existential quantification and power set (Q1024551) (← links)
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
• The unfolding of non-finitist arithmetic (Q1577479) (← links)
• The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
• Inaccessible set axioms may have little consistency strength (Q1612481) (← links)
• Universes over Frege structures (Q1861539) (← links)
• Totality in applicative theories (Q1896484) (← links)
• Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
• On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
• Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
• Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
• Some theories with positive induction of ordinal strength <i>φω</i>0 (Q5687318) (← links)
• A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (Q6539428) (← links)