Uniformization in a playful universe (Q5639716): Difference between revisions

@@ Property / cites work @@
+SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS
+Normal rank
@@ Property / cites work @@
+A Souslin operation for \(\Pi^1_2\)
@@ Property / cites work: A Souslin operation for \(\Pi^1_2\) / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of determinateness and reduction principles in the analytical hierarchy
+Normal rank
@@ Property / cites work @@
+A basis theorem for \(\sum^ 1_ 3\) sets of reals
@@ Property / cites work: A basis theorem for \(\sum^ 1_ 3\) sets of reals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111564
@@ Property / cites work: Q4111564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank