Countable OD sets of reals belong to the ground model (Q1745352): Difference between revisions

@@ Property / OpenAlex ID @@
+W2513184536
@@ Property / OpenAlex ID: W2513184536 / rank @@
+Normal rank
@@ Property / cites work @@
+On coding uncountable sets by reals
@@ Property / cites work: On coding uncountable sets by reals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844091
@@ Property / cites work: Q4844091 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3001425
@@ Property / cites work: Q3001425 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Leibniz–Mycielski axiom in set theory
@@ Property / cites work: On the Leibniz–Mycielski axiom in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate submodels and generic extensions in set theory
+Normal rank
@@ Property / cites work @@
+A definable \(E_0\) class containing no definable elements
+Normal rank
@@ Property / cites work @@
+An Ulm-type classification theorem for equivalence relations in Solovay model
+Normal rank
@@ Property / cites work @@
+An infinity which depends on the axiom of choice
@@ Property / cites work: An infinity which depends on the axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+An effective minimal encoding of uncountable sets
@@ Property / cites work: An effective minimal encoding of uncountable sets / rank @@
+Normal rank
@@ Property / cites work @@
+A countable definable set containing no definable elements
+Normal rank
@@ Property / cites work @@
+On countable cofinality and decomposition of definable thin orderings
+Normal rank
@@ Property / cites work @@
+Q3337413
@@ Property / cites work: Q3337413 / rank @@
+Normal rank
@@ Property / cites work @@
+Unbounded and dominating reals in Hechler extensions
+Normal rank
@@ Property / cites work @@
+A model of set-theory in which every set of reals is Lebesgue measurable
+Normal rank
@@ Property / cites work @@
+On Lusin's restricted continuum problem
@@ Property / cites work: On Lusin's restricted continuum problem / rank @@
+Normal rank