The following pages link to (Q3025175):
Displaying 4 items.
- Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991) (← links)
- A constructive consistency proof of a fragment of set theory (Q1080422) (← links)
- Proof theory of reflection (Q1332853) (← links)
- On Weak Theories of Sets and Classes which are Based on Strict ∏‐REFLECTION (Q3346304) (← links)