Implicit definability in arithmetic (Q306821): Difference between revisions

@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+MASS PROBLEMS AND HYPERARITHMETICITY
@@ Property / cites work: MASS PROBLEMS AND HYPERARITHMETICITY / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of the notions of forcing and generic sets
+Normal rank
@@ Property / cites work @@
+The effective theory of Borel equivalence relations
+Normal rank
@@ Property / cites work @@
+Jump embeddings in the Turing degrees
@@ Property / cites work: Jump embeddings in the Turing degrees / rank @@
+Normal rank
@@ Property / cites work @@
+There is no ordering on the classes in the generalized high/low hierarchies
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Theorem of Lachlan and Martin
@@ Property / cites work: On a Theorem of Lachlan and Martin / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+A Property of Arithmetic Sets
@@ Property / cites work: A Property of Arithmetic Sets / rank @@
+Normal rank