Pages that link to "Item:Q2758045"
From MaRDI portal
The following pages link to First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo (Q2758045):
Displaying 10 items.
- Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators (Q638478) (← links)
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
- Elementary inductive definitions in HA: From strictly positive towards monotone (Q920089) (← links)
- Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs (Q3220581) (← links)
- A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS (Q5850984) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)
