Implicit definability in arithmetic (Q306821): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+D55
@@ Property / Mathematics Subject Classification ID: 03D55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D30
@@ Property / Mathematics Subject Classification ID: 03D30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D28
@@ Property / Mathematics Subject Classification ID: 03D28 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C40
@@ Property / Mathematics Subject Classification ID: 03C40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D80
@@ Property / Mathematics Subject Classification ID: 03D80 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6621292
@@ Property / zbMATH DE Number: 6621292 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+arithmetical hierarchy
@@ Property / zbMATH Keywords: arithmetical hierarchy / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+arithmetical singletons
@@ Property / zbMATH Keywords: arithmetical singletons / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+implicit definability
@@ Property / zbMATH Keywords: implicit definability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hyperarithmetical sets
@@ Property / zbMATH Keywords: hyperarithmetical sets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Turing jump
@@ Property / zbMATH Keywords: Turing jump / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2189427865
@@ Property / OpenAlex ID: W2189427865 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:306821