Pages that link to "Item:Q5223119"
From MaRDI portal
The following pages link to A model of second-order arithmetic satisfying AC but not DC (Q5223119):
Displaying 9 items.
- The full basis theorem does not imply analytic wellordering (Q2659101) (← links)
- INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY (Q5021929) (← links)
- Boolean-valued class forcing (Q5029019) (← links)
- Models of set theory in which the separation theorem fails (Q5033988) (← links)
- On the ‘definability of definable’ problem of Alfred Tarski, Part II (Q5045614) (← links)
- TAKING REINHARDT’S POWER AWAY (Q5052016) (← links)
- THE Σ<sub>1</sub>-DEFINABLE UNIVERSAL FINITE SEQUENCE (Q5082064) (← links)
- On Russell typicality in set theory (Q5880254) (← links)
- A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings (Q6131201) (← links)
