Some measure theoretic results in effective descriptive set theory (Q1223294): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS
+Normal rank
@@ Property / cites work @@
+Q5626663
@@ Property / cites work: Q5626663 / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of forcing to hierarchy problems in arithmetic
+Normal rank
@@ Property / cites work @@
+Measure and category in effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+The axiom of determinateness and reduction principles in the analytical hierarchy
+Normal rank
@@ Property / cites work @@
+Uniformization in a playful universe
@@ Property / cites work: Uniformization in a playful universe / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiom of determinateness
@@ Property / cites work: On the axiom of determinateness / rank @@
+Normal rank
@@ Property / cites work @@
+Measure-Theoretic Uniformity in Recursion Theory and Set Theory
+Normal rank
@@ Property / cites work @@
+A model of set-theory in which every set of reals is Lebesgue measurable
+Normal rank
@@ Property / cites work @@
+Measure-theoretic construction of incomparable hyperdegrees
+Normal rank
@@ Property / cites work @@
+Q5676216
@@ Property / cites work: Q5676216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5583851
@@ Property / cites work: Q5583851 / rank @@
+Normal rank
@@ Property / cites work @@
+The Forcing Method and the Upper Semilattice of Hyperdegrees
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1223294