HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY

DOI10.1017/bsl.2015.6zbMath1375.03079arXiv1410.2239OpenAlexW2964288131MaRDI QIDQ2795294

Pierre Boutry, Julien Narboux, Michael J. Beeson

Publication date: 18 March 2016

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.2239

zbMATH Keywords

geometryTarskiHerbrand's theoremEuclidparallel postulate

Mathematics Subject Classification ID

Geometric constructions in real or complex geometry (51M15) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Euclidean geometries (general) and generalizations (51M05)

Related Items (1)

Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq

Cites Work

• Tarski's System of Geometry
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY