Factoring Solovay-random extensions, with application to the reduction property (Q2220386): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00605-020-01482-9
+Normal rank
@@ Property / OpenAlex ID @@
+W3100493044
@@ Property / OpenAlex ID: W3100493044 / rank @@
+Normal rank
@@ Property / cites work @@
+Separation principles in the hierarchies of classical and effective descriptive set theory
+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 @@
+Intermediate submodels and generic extensions in set theory
+Normal rank
@@ Property / cites work @@
+Multiple Forcing
@@ Property / cites work: Multiple Forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5656764
@@ Property / cites work: Q5656764 / rank @@
+Normal rank
@@ Property / cites work @@
+On non-wellfounded iterations of the perfect set forcing
+Normal rank
@@ Property / cites work @@
+Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
+Normal rank
@@ Property / cites work @@
+A generic property of the Solovay set \(\Sigma\)
@@ Property / cites work: A generic property of the Solovay set \(\Sigma\) / rank @@
+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 @@
+Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
+Normal rank
@@ Property / cites work @@
+Generalization of one construction by Solovay
@@ Property / cites work: Generalization of one construction by Solovay / rank @@
+Normal rank
@@ Property / cites work @@
+The Bristol model: An abyss called a Cohen real
@@ Property / cites work: The Bristol model: An abyss called a Cohen real / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of determinateness and reduction principles in the analytical hierarchy
+Normal rank
@@ Property / cites work @@
+Q4000342
@@ Property / cites work: Q4000342 / rank @@
+Normal rank
@@ Property / cites work @@
+A model of set-theory in which every set of reals is Lebesgue measurable
+Normal rank
@@ Property / cites work @@
+Terminal notions in set theory
@@ Property / cites work: Terminal notions in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5444715
@@ Property / cites work: Q5444715 / rank @@
+Normal rank