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
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+A survey of predicate realizability logic
@@ Property / cites work: A survey of predicate realizability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4053615
@@ Property / cites work: Q4053615 / rank @@
+Normal rank
@@ Property / cites work @@
+ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
@@ Property / cites work: ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with explicit fixed points
@@ Property / cites work: A propositional logic with explicit fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Basic predicate calculus
@@ Property / cites work: Basic predicate calculus / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0001434615110073
+Normal rank
@@ Property / OpenAlex ID @@
+W2258224561
@@ Property / OpenAlex ID: W2258224561 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:268079