The following pages link to (Q4103094):
Displaying 7 items.
- Transfinite recursion and computation in the iterative conception of set (Q510712) (← links)
- Reflection principles and second-order choice principles with urelements (Q2668001) (← links)
- FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION (Q3580672) (← links)
- A STRONG REFLECTION PRINCIPLE (Q4600822) (← links)
- MODAL STRUCTURALISM AND REFLECTION (Q5216972) (← links)
- Reflective mereology (Q6166131) (← links)
- Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal (Q6642873) (← links)
