Barlatier, Patrick, and Richard Dapoigny. 2023. “A Monadic Second-Order Version of Tarski’s Geometry of Solids”. Logic and Logical Philosophy 33 (1):55-99. https://doi.org/10.12775/LLP.2023.019.