The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816): Difference between revisions

@@ Property / cites work @@
+The truth is never simple
@@ Property / cites work: The truth is never simple / 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 @@
+Jumping through the transfinite: the master code hierarchy of Turing degrees
+Normal rank
@@ Property / cites work @@
+Reverse Mathematics: The Playground of Logic
@@ Property / cites work: Reverse Mathematics: The Playground of Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The limits of determinacy in second-order arithmetic
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak systems of determinacy and arithmetical quasi-inductive definitions
+Normal rank