Expansions which introduce no new open sets

Simple item page
dc.contributor.authorBoxall G.
dc.contributor.authorHieronymi P.
dc.date.accessioned2012-06-06T07:53:36Z
dc.date.available2012-06-06T07:53:36Z
dc.date.issued2012
dc.description.abstractWe 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. © 2012, Association for Symbolic Logic.
dc.identifier.citationJournal of Symbolic Logic
dc.identifier.citation77
dc.identifier.citation1
dc.identifier.citation111
dc.identifier.citation121
dc.identifier.issn224812
dc.identifier.otherdoi:10.2178/jsl/1327068694
dc.identifier.urihttp://hdl.handle.net/10019.1/21237
dc.titleExpansions which introduce no new open sets
dc.typeArticle
Files
Collections
Stellenbosch University - Scopus Publications