On extracting variable Herbrand disjunctions (Q2157604): Difference between revisions

@@ Property / cites work @@
+Herbrand's theorem as higher order recursion
@@ Property / cites work: Herbrand's theorem as higher order recursion / rank @@
+Normal rank
@@ Property / cites work @@
+The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
+Normal rank
@@ Property / cites work @@
+Weak König's lemma in Herbrandized classical second-order arithmetic
+Normal rank
@@ Property / cites work @@
+A herbrandized functional interpretation of classical first-order logic
+Normal rank
@@ Property / cites work @@
+Extracting Herbrand disjunctions by functional interpretation
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q3635861
@@ Property / cites work: Q3635861 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
@@ Property / cites work: PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
+Normal rank
@@ Property / cites work @@
+On the Interpretation of Non-Finitist Proofs--Part I
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+On <i>n</i>-quantifier induction
@@ Property / cites work: On <i>n</i>-quantifier induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+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 @@
+Q5533180
@@ Property / cites work: Q5533180 / rank @@
+Normal rank
@@ Property / cites work @@
+Norm convergence of multiple ergodic averages for commuting transformations
+Normal rank