Pages that link to "Item:Q334991"
From MaRDI portal
The following pages link to Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991):
Displaying 5 items.
- A note on recursive models of set theories (Q1409311) (← links)
- End extending models of set theory via power admissible covers (Q2672157) (← links)
- (Q3025175) (← links)
- INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY (Q5021929) (← links)
- On the relative strengths of fragments of collection (Q5108847) (← links)