On hyperarithmetical realizability (Q268079): Difference between revisions

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