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

Revision as of 23:11, 27 June 2023