Herbrand analyses in geometry: a case study

DOI10.1093/LOGCOM/EXAF017MaRDI QIDQ6915758zbMATH OpenFDO

Authors Luisa Marie Després, Ulrich Kohlenbach

Publication date 15 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAF017

zbMATH Keywords

axiomatic geometryHerbrand analysisPasch's theorem

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Structure of proofs (03F07) Euclidean geometries (general) and generalizations (51M05) Computer science (68-XX)

Cites work

• A constructive version of Tarski's geometry
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Axiomatizing geometric constructions
• Brouwer and Euclid
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
• Extracting Herbrand disjunctions by functional interpretation
• Herbrand's theorem and non-Euclidean geometry
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• scientific article; zbMATH DE number 3627176 (Why is no real title available?)
• scientific article; zbMATH DE number 3446383 (Why is no real title available?)
• scientific article; zbMATH DE number 3291816 (Why is no real title available?)
• Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen.
• Methods of cut-elimination
• On the No-Counterexample Interpretation

This page was built for publication: Herbrand analyses in geometry: a case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6915758)