Expansions which introduce no new open sets

Gareth Boxall, Philipp Hieronymi

Research output: Contribution to journalArticlepeer-review

Abstract

We consider the question of when an expansion of a first-order topological structure has the property that every open set definable in the expansion is definable in the original structure. This question has been investigated by Dolich, Miller and Steinhorn in the setting of ordered structures as part of their work on the property of having o-minimal open core. We answer the question in a fairly general setting and provide conditions which in practice are often easy to check. We give a further characterisation in the special case of an expansion by a generic predicate.

Original languageEnglish (US)
Pages (from-to)111-121
Number of pages11
JournalJournal of Symbolic Logic
Volume77
Issue number1
DOIs
StatePublished - Mar 2012

ASJC Scopus subject areas

  • Philosophy
  • Logic

Fingerprint

Dive into the research topics of 'Expansions which introduce no new open sets'. Together they form a unique fingerprint.

Cite this