The following pages link to (Q5613902):
Displaying 5 items.
- The usual model construction for NFU preserves information (Q691132) (← links)
- On the matter of essential richness (Q815020) (← links)
- Representation of functions and total antisymmetric relations in monadic third order logic (Q2421520) (← links)
- Symmetry as a criterion for comprehension motivating Quine's `New Foundations' (Q2426734) (← links)
- Opposition and Circularity (Q5302473) (← links)