PRIORITY ARGUMENTS VIA TRUE STAGES (Q5177887): Difference between revisions

@@ Property / arXiv ID @@
+.2623
@@ Property / arXiv ID: 1306.2623 / rank @@
+Normal rank
@@ Property / cites work @@
+Labelling systems and r.e. structures
@@ Property / cites work: Labelling systems and r.e. structures / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions by transfinitely many workers
@@ Property / cites work: Constructions by transfinitely many workers / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence Relations on Classes of Computable Structures
+Normal rank
@@ Property / cites work @@
+Ramified systems
@@ Property / cites work: Ramified systems / rank @@
+Normal rank
@@ Property / cites work @@
+Pairs of recursive structures
@@ Property / cites work: Pairs of recursive structures / rank @@
+Normal rank
@@ Property / cites work @@
+Stability of recursive structures in arithmetical degrees
+Normal rank
@@ Property / cites work @@
+The Veblen functions for computability theorists
@@ Property / cites work: The Veblen functions for computability theorists / rank @@
+Normal rank
@@ Property / cites work @@
+A General Framework for Priority Arguments
@@ Property / cites work: A General Framework for Priority Arguments / rank @@
+Normal rank
@@ Property / cites work @@
+Q3573560
@@ Property / cites work: Q3573560 / rank @@
+Normal rank