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)

zbMATH Keywords

axiomatic geometryPasch's theoremHerbrand analysis

Mathematics Subject Classification ID

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

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)