Dialectica Interpretation with Fine Computational Control (Q3576085): Difference between revisions

@@ Property / cites work @@
+Uniform Heyting arithmetic
@@ Property / cites work: Uniform Heyting arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Hybrid Functional Interpretations
@@ Property / cites work: Hybrid Functional Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Light Dialectica revisited
@@ Property / cites work: Light Dialectica revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+Dialectica interpretation of well-founded induction
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank