Functional interpretation and inductive definitions (Q3655246): Difference between revisions

@@ Property / cites work @@
+Interpretationen der Heyting-Arithmetik endlicher Typen
+Normal rank
@@ Property / cites work @@
+Shoenfield is Gödel after Krivine
@@ Property / cites work: Shoenfield is Gödel after Krivine / rank @@
+Normal rank
@@ Property / cites work @@
+Q3778746
@@ Property / cites work: Q3778746 / rank @@
+Normal rank
@@ Property / cites work @@
+A system of abstract constructive ordinals
@@ Property / cites work: A system of abstract constructive ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Bounded functional interpretation
@@ Property / cites work: Bounded functional interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
+Normal rank
@@ Property / cites work @@
+A Diller-Nahm-style functional interpretation of \(\text{KP}\omega\)
+Normal rank
@@ Property / cites work @@
+Q2711810
@@ Property / cites work: Q2711810 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Interpreting classical theories in constructive ones
+Normal rank
@@ Property / cites work @@
+Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\)
+Normal rank
@@ Property / cites work @@
+Some logical metatheorems with applications in functional analysis
+Normal rank