Elementarily equivalent structures for topological languages over regions in Euclidean space

DOI10.1093/LOGCOM/EXS031MaRDI QIDQ5300577zbMATH OpenOpenAlexFDO

Authors Ernest Davis

Publication date 27 June 2013

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exs031

zbMATH Keywords

elementary equivalencefirst-order equivalenceo-minimal structure over the realsrational polyhedraspatial reasoningtopological languagetopologically regular regions

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Logic in artificial intelligence (68T27)

Recommendations

• The expressive power of first-order topological languages
• The Expressivity of Quantifying over Regions
• Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields
• Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space
• Effective topological spaces. I: A definability theory

Cited in

(4)

• O-minimal Hauptvermutung for polyhedra. I
• The expressive power of first-order topological languages
• scientific article; zbMATH DE number 3911732 (Why is no real title available?)
• Language of topologically valid bounding manifolds

This page was built for publication: Elementarily equivalent structures for topological languages over regions in Euclidean space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5300577)