SHORTENING CLOPEN GAMES (Q5021927): Difference between revisions

@@ Property / cites work @@
+Long games and \(\sigma \)-projective sets
@@ Property / cites work: Long games and \(\sigma \)-projective sets / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of Two Strong Forms of Determinacy
@@ Property / cites work: Equivalence of Two Strong Forms of Determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817866
@@ Property / cites work: Q5817866 / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic determinacy and 0<sup>#</sup>
@@ Property / cites work: Analytic determinacy and 0<sup>#</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322161
@@ Property / cites work: Q5322161 / rank @@
+Normal rank
@@ Property / cites work @@
+Determinacy in strong cardinal models
@@ Property / cites work: Determinacy in strong cardinal models / rank @@
+Normal rank