Models of set theory in which the separation theorem fails (Q5033988): Difference between revisions

@@ Property / cites work @@
+On the consistency of some propositions of the descriptive theory of sets
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur les fonctions implicites mesurables B
@@ Property / cites work: Sur les fonctions implicites mesurables B / rank @@
+Normal rank
@@ Property / cites work @@
+Some consequences of the axiom of constructibility
+Normal rank
@@ Property / cites work @@
+SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS
+Normal rank
@@ Property / cites work @@
+The axiom of determinateness and reduction principles in the analytical hierarchy
+Normal rank
@@ Property / cites work @@
+Determinateness and the separation property
@@ Property / cites work: Determinateness and the separation property / rank @@
+Normal rank
@@ Property / cites work @@
+Q5690487
@@ Property / cites work: Q5690487 / rank @@
+Normal rank
@@ Property / cites work @@
+Projective uniformization revisited
@@ Property / cites work: Projective uniformization revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Surrealist landscape with figures (a survey of recent results in set theory)
+Normal rank
@@ Property / cites work @@
+Q5626664
@@ Property / cites work: Q5626664 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5656764
@@ Property / cites work: Q5656764 / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / 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 @@
+A definable \(E_0\) class containing no definable elements
+Normal rank
@@ Property / cites work @@
+A countable definable set containing no definable elements
+Normal rank
@@ Property / cites work @@
+A Groszek‐Laver pair of undistinguishable ‐classes
+Normal rank
@@ Property / cites work @@
+Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
+Normal rank
@@ Property / cites work @@
+Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
+Normal rank
@@ Property / cites work @@
+A model of second-order arithmetic satisfying AC but not DC
+Normal rank
@@ Property / cites work @@
+An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
+Normal rank
@@ Property / cites work @@
+ON THE NONEMPTINESS OF CLASSES IN AXIOMATIC SET THEORY
+Normal rank
@@ Property / cites work @@
+Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
+Normal rank
@@ Property / cites work @@
+DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
+Normal rank
@@ Property / cites work @@
+Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
+Normal rank
@@ Property / cites work @@
+A Minimal Model for � CH: Iteration of Jensen's Reals
+Normal rank
@@ Property / cites work @@
+Iterated perfect-set forcing
@@ Property / cites work: Iterated perfect-set forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Iteration of Forcing
@@ Property / cites work: Generalized Iteration of Forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4365512
@@ Property / cites work: Q4365512 / rank @@
+Normal rank
@@ Property / cites work @@
+An Ulm-type classification theorem for equivalence relations in Solovay model
+Normal rank
@@ Property / cites work @@
+On non-wellfounded iterations of the perfect set forcing
+Normal rank
@@ Property / cites work @@
+THE SET OF ALL ANALYTICALLY DEFINABLE SETS OF NATURAL NUMBERS CAN BE DEFINED ANALYTICALLY
+Normal rank