Elementarily equivalent structures for topological languages over regions in Euclidean space

DOI10.1093/LOGCOM/EXS031zbMATH Open1285.03038OpenAlexW2134616886MaRDI QIDQ5300577FDOQ5300577

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

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

zbMATH Keywords

spatial reasoningelementary equivalencerational polyhedrafirst-order equivalencetopological languageo-minimal structure over the realstopologically regular regions

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Language of topologically valid bounding manifolds
• O-minimal Hauptvermutung for polyhedra. I

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)