On hyperarithmetical realizability (Q268079): Difference between revisions

@@ 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