Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1 (Q5740401): Difference between revisions

@@ Property / cites work @@
+Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness
+Normal rank
@@ Property / cites work @@
+A constructive analysis of learning in Peano arithmetic
+Normal rank
@@ Property / cites work @@
+Q2880721
@@ Property / cites work: Q2880721 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Epsilon substitution method for elementary analysis
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics of evidence for classical arithmetic
@@ Property / cites work: A semantics of evidence for classical arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2776806
@@ Property / cites work: Q2776806 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational content of the axiom of choice
+Normal rank