Connectedness in structures on the real numbers: o-minimality and undecidability

DOI10.1017/jsl.2022.16zbMath1508.03069arXiv2011.14833MaRDI QIDQ6354873

Alex Savatovsky, Chris Miller, Alfred Dolich, Athipat Thamrongthanyalak

Publication date: 30 November 2020

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Connected and locally connected spaces (general aspects) (54D05) Model theory of ordered structures; o-minimality (03C64)

This page was built for publication: Connectedness in structures on the real numbers: o-minimality and undecidability