Pages that link to "Item:Q1908814"
From MaRDI portal
The following pages link to Second order theories with ordinals and elementary comprehension (Q1908814):
Displaying 8 items.
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo (Q2758045) (← links)
- THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES (Q3094184) (← links)
- Some theories with positive induction of ordinal strength <i>φω</i>0 (Q5687318) (← links)
