Pages that link to "Item:Q1210139"
From MaRDI portal
The following pages link to Fixed points in Peano arithmetic with ordinals (Q1210139):
Displayed 10 items.
- 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)
- Some theories with positive induction of ordinal strength <i>φω</i>0 (Q5687318) (← links)