Pages that link to "Item:Q334991"

The following pages link to Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory (Q334991):

Displayed 3 items.

• End extending models of set theory via power admissible covers (Q2672157) ‎ (← links)
• INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY (Q5021929) ‎ (← links)
• On the relative strengths of fragments of collection (Q5108847) ‎ (← links)