On hyperarithmetical realizability (Q268079): Difference between revisions

@@ Property / author @@
+M. Dambrine
@@ Property / author: M. Dambrine / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F35
@@ Property / Mathematics Subject Classification ID: 03F35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D20
@@ Property / Mathematics Subject Classification ID: 03D20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B20
@@ Property / Mathematics Subject Classification ID: 03B20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6568784
@@ Property / zbMATH DE Number: 6568784 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hyperarithmetical realizability
@@ Property / zbMATH Keywords: hyperarithmetical realizability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal arithmetic
@@ Property / zbMATH Keywords: formal arithmetic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hyperarithmetical set
@@ Property / zbMATH Keywords: hyperarithmetical set / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hyperarithmetical predicate
@@ Property / zbMATH Keywords: hyperarithmetical predicate / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hyperarithmetical function
@@ Property / zbMATH Keywords: hyperarithmetical function / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Gödel number
@@ Property / zbMATH Keywords: Gödel number / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+universal function
@@ Property / zbMATH Keywords: universal function / rank @@
+Normal rank

On hyperarithmetical realizability (Q268079): Difference between revisions

Revision as of 14:55, 27 June 2023

Statements

Identifiers

Sitelinks

Mathematics(0 entries)