The following pages link to (Q3081646):
Displaying 11 items.
- Operational closure and stability (Q385076) (← links)
- Classes and truths in set theory (Q450946) (← links)
- Full and hat inductive definitions are equivalent in NBG (Q2257106) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- choice classes (Q2958216) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- On -hereditary Sets and Consequences of the Axiom of Choice (Q4521131) (← links)
- THE COPERNICAN MULTIVERSE OF SETS (Q5046607) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- (Q5494237) (← links)