CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY
From MaRDI portal
Publication:5100061
DOI10.1017/jsl.2022.16MaRDI QIDQ5100061
Alfred Dolich, Chris Miller, Athipat Thamrongthanyalak, Alex Savatovsky
Publication date: 29 August 2022
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2011.14833
03D35: Undecidability and degrees of sets of sentences
54D05: Connected and locally connected spaces (general aspects)
03C64: Model theory of ordered structures; o-minimality