Elementarily equivalent structures for topological languages over regions in Euclidean space

Research output: Contribution to journalArticlepeer-review

Abstract

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.

Original languageEnglish (US)
Pages (from-to)457-471
Number of pages15
JournalJournal of Logic and Computation
Volume23
Issue number3
DOIs
StatePublished - Jun 2013

Keywords

  • Elementary equivalence
  • first-order equivalence
  • topological language

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Arts and Humanities (miscellaneous)
  • Hardware and Architecture
  • Logic

Fingerprint

Dive into the research topics of 'Elementarily equivalent structures for topological languages over regions in Euclidean space'. Together they form a unique fingerprint.

Cite this