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

@@ Property / DOI @@
-.1016/j.apal.2017.05.004
@@ Property / DOI: 10.1016/j.apal.2017.05.004 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2017.05.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2621190079
@@ Property / OpenAlex ID: W2621190079 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.APAL.2017.05.004
@@ Property / DOI: 10.1016/J.APAL.2017.05.004 / rank @@
+Normal rank