A General Framework for Priority Arguments (Q4847389): Difference between revisions

@@ Property / author @@
-Manuel Lerman
@@ Property / author: Manuel Lerman / rank @@
-Normal rank
@@ Property / author @@
+Manuel Lerman
@@ Property / author: Manuel Lerman / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2062860612
@@ Property / OpenAlex ID: W2062860612 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-bounding constructions
@@ Property / cites work: Non-bounding constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+A metatheorem for constructions by finitely many workers
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
+Normal rank
@@ Property / cites work @@
+The jump is definable in the structure of the degrees of unsolvability
+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 @@
+Stability of recursive structures in arithmetical degrees
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Logical methods. In honor of Anil Nerode's 60th birthday
+Normal rank
@@ Property / cites work @@
+Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971
+Normal rank
@@ Property / cites work @@
+On some games which are relevant to the theory of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+TOPOLOGICAL FRAMEWORK FOR FINITE INJURY
@@ Property / cites work: TOPOLOGICAL FRAMEWORK FOR FINITE INJURY / rank @@
+Normal rank
@@ Property / cites work @@
+Topological Framework for Non‐Priority
@@ Property / cites work: Topological Framework for Non‐Priority / rank @@
+Normal rank
@@ Property / cites work @@
+Banach–Mazur games, comeager sets and degrees of unsolvability
+Normal rank
@@ Property / cites work @@
+On homogeneity and definability in the first-order theory of the Turing degrees
+Normal rank
@@ Property / cites work @@
+Degrees of Unsolvability. (AM-55)
@@ Property / cites work: Degrees of Unsolvability. (AM-55) / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4847389