CONNECTEDNESS IN STRUCTURES ON THE REAL NUMBERS: O-MINIMALITY AND UNDECIDABILITY

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

zbMATH Keywords

undecidability; path component; o-minimal; quasicomponent; locally o-minimal

Mathematics Subject Classification ID

03D35: Undecidability and degrees of sets of sentences

54D05: Connected and locally connected spaces (general aspects)

03C64: Model theory of ordered structures; o-minimality