On extracting variable Herbrand disjunctions

DOI10.1007/S11225-022-09990-5MaRDI QIDQ2157604zbMATH OpenOpenAlexWikidataFDO

Authors Andrei Sipoş

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

zbMATH Keywords

Herbrand's theoremmetastabilityproof miningfunctional interpretationfirst-order arithmetic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10)

Recommendations

• Extracting Herbrand disjunctions by functional interpretation
• Herbrand's theorem and extractive proof theory
• scientific article; zbMATH DE number 1841838
• Herbrand analyses
• Herbrand's theorem and term induction

Cites work

• scientific article; zbMATH DE number 3247154 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• A herbrandized functional interpretation of classical first-order logic
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
• Extracting Herbrand disjunctions by functional interpretation
• Herbrand's theorem and extractive proof theory
• Herbrand's theorem as higher order recursion
• Norm convergence of multiple ergodic averages for commuting transformations
• On n-quantifier induction
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
• Shoenfield is Gödel after Krivine
• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
• Weak König's lemma in Herbrandized classical second-order arithmetic
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(4)

• scientific article; zbMATH DE number 1950249 (Why is no real title available?)
• Herbrand's theorem and extractive proof theory
• Extracting Herbrand disjunctions by functional interpretation
• On extracting variable Herbrand disjunctions

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)