Complete Determinacy and Subsystems of Second Order Arithmetic (Q3507462): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-69407-6_49
+Normal rank
@@ Property / OpenAlex ID @@
+W123450639
@@ Property / OpenAlex ID: W123450639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3318768
@@ Property / cites work: Q3318768 / rank @@
+Normal rank
@@ Property / cites work @@
+Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction
+Normal rank
@@ Property / cites work @@
+Q3530407
@@ Property / cites work: Q3530407 / rank @@
+Normal rank
@@ Property / cites work @@
+INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
+Normal rank
@@ Property / cites work @@
+Infinite games in the Cantor space and subsystems of second order arithmetic
+Normal rank
@@ Property / cites work @@
+Determinacy of Wadge classes and subsystems of second order arithmetic
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak axioms of determinacy and subsystems of analysis I: δ20 games
+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