TY - JOUR
T1 - Elementarily equivalent structures for topological languages over regions in Euclidean space
AU - Davis, Ernest
N1 - Funding Information:
Many thanks to Ian Pratt-Hartmann for helpful discussions, and to the reviewers for valuable suggestions. This research was supported in part by NSF grant no. IIS-0534809.
PY - 2013/6
Y1 - 2013/6
N2 - We prove that the class of rational polyhedra and the class of topologically regular regions definable in an o-minimal structure over the reals are each elementarily equivalent to the class of polyhedra for topological languages.
AB - We prove that the class of rational polyhedra and the class of topologically regular regions definable in an o-minimal structure over the reals are each elementarily equivalent to the class of polyhedra for topological languages.
KW - Elementary equivalence
KW - first-order equivalence
KW - topological language
UR - http://www.scopus.com/inward/record.url?scp=84877993656&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84877993656&partnerID=8YFLogxK
U2 - 10.1093/logcom/exs031
DO - 10.1093/logcom/exs031
M3 - Article
AN - SCOPUS:84877993656
SN - 0955-792X
VL - 23
SP - 457
EP - 471
JO - Journal of Logic and Computation
JF - Journal of Logic and Computation
IS - 3
ER -