Undecidable First-Order Theories of Affine Geometries

DOI10.2168/LMCS-9(4:26)2013zbMath1317.03018arXiv1310.8200MaRDI QIDQ2871479

Antti Kuusisto, Jeremy Meyers, Jonni Virtema

Publication date: 8 January 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

undecidabilitymonadic second order logicordered affine geometry

Mathematics Subject Classification ID

Finite affine and projective planes (geometric aspects) (51E15) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Ordered geometries (ordered incidence structures, etc.) (51G05)

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