Elementarily equivalent structures for topological languages over regions in Euclidean space

Research output: Contribution to journalArticle

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

Fingerprint

Euclidean space
Polyhedron
O-minimal Structures
Class
Language
Regular

Keywords

  • Elementary equivalence
  • first-order equivalence
  • topological language

ASJC Scopus subject areas

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

Cite this

Elementarily equivalent structures for topological languages over regions in Euclidean space. / Davis, Ernest.

In: Journal of Logic and Computation, Vol. 23, No. 3, 06.2013, p. 457-471.

Research output: Contribution to journalArticle

@article{da96fa9382dd42999d56121fb08cd533,
title = "Elementarily equivalent structures for topological languages over regions in Euclidean space",
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.",
keywords = "Elementary equivalence, first-order equivalence, topological language",
author = "Ernest Davis",
year = "2013",
month = "6",
doi = "10.1093/logcom/exs031",
language = "English (US)",
volume = "23",
pages = "457--471",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "3",

}

TY - JOUR

T1 - Elementarily equivalent structures for topological languages over regions in Euclidean space

AU - Davis, Ernest

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

VL - 23

SP - 457

EP - 471

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 3

ER -