Logical problems of functional interpretations (Q5957851): Difference between revisions

@@ Property / cites work @@
+Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\)
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)
+Normal rank
@@ Property / cites work @@
+Functional interpretation of Aczel's constructive set theory
+Normal rank
@@ Property / cites work @@
+A characterization of the \(\Sigma_1\)-definable functions of \(\text{KP}\omega+(\text{uniform AC})\)
+Normal rank
@@ Property / cites work @@
+Q4184831
@@ Property / cites work: Q4184831 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085710
@@ Property / cites work: Q4085710 / rank @@
+Normal rank
@@ Property / cites work @@
+Simultane Rekursionen in der Theorie der Funktionale endlicher Typen
+Normal rank
@@ Property / cites work @@
+Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
+Normal rank
@@ Property / cites work @@
+Q4282586
@@ Property / cites work: Q4282586 / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q5704851
@@ Property / cites work: Q5704851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5545953
@@ Property / cites work: Q5545953 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625138
@@ Property / cites work: Q5625138 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof-theoretic characterization of the primitive recursive set functions
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretationen der Heyting-Arithmetik endlicher Typen
+Normal rank
@@ Property / cites work @@
+Interpretations of Heyting's arithmetic—An analysis by means of a language with set symbols
+Normal rank
@@ Property / cites work @@
+Q5633977
@@ Property / cites work: Q5633977 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215635
@@ Property / cites work: Q4215635 / rank @@
+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