Determinacy in third order arithmetic (Q2404651): Difference between revisions

@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher set theory and mathematical practice
@@ Property / cites work: Higher set theory and mathematical practice / rank @@
+Normal rank
@@ Property / cites work @@
+CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3801541
@@ Property / cites work: Q3801541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722064
@@ Property / cites work: Q4722064 / rank @@
+Normal rank
@@ Property / cites work @@
+The limits of determinacy in second-order arithmetic
+Normal rank
@@ Property / cites work @@
+TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
+Normal rank
@@ Property / cites work @@
+Weak systems of determinacy and arithmetical quasi-inductive definitions
+Normal rank