The following pages link to (Q5665177):
Displayed 7 items.
- Ordinal notations based on a weakly Mahlo cardinal (Q920986) (← links)
- Fixed-point extensions of first-order logic (Q1090327) (← links)
- Some aspects of generalized computability (Q1846417) (← links)
- Inductively defined sets of reals (Q4093430) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Inductive Definitions and Computability (Q5628117) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)