On extracting variable Herbrand disjunctions
From MaRDI portal
Publication:2157604
DOI10.1007/S11225-022-09990-5OpenAlexW4226046667WikidataQ114827198 ScholiaQ114827198MaRDI QIDQ2157604FDOQ2157604
Publication date: 22 July 2022
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2111.12133
Recommendations
Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10)
Cites Work
- Title not available (Why is that?)
- On the interpretation of non-finitist proofs–Part II
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Shoenfield is Gödel after Krivine
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Norm convergence of multiple ergodic averages for commuting transformations
- On the Interpretation of Non-Finitist Proofs--Part I
- On n-quantifier induction
- Extracting Herbrand disjunctions by functional interpretation
- Title not available (Why is that?)
- PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
- Herbrand's theorem as higher order recursion
- A herbrandized functional interpretation of classical first-order logic
- Weak König's lemma in Herbrandized classical second-order arithmetic
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
- Herbrand's theorem and extractive proof theory
Cited In (4)
This page was built for publication: On extracting variable Herbrand disjunctions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2157604)
