Undecidable First-Order Theories of Affine Geometries

DOI10.4230/LIPIcs.CSL.2012.470zbMath1252.03023arXiv1208.4930OpenAlexW2963683349MaRDI QIDQ4649566

Antti Kuusisto, Jonni Virtema, Jeremy Meyers

Publication date: 22 November 2012

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

zbMATH Keywords

undecidabilityclassical logicspatial logicTarski's geometry

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30)

This page was built for publication: Undecidable First-Order Theories of Affine Geometries