{ "id": "1002.3762", "version": "v1", "published": "2010-02-19T15:38:51.000Z", "updated": "2010-02-19T15:38:51.000Z", "title": "Expansions which introduce no new open sets", "authors": [ "Gareth Boxall", "Philipp Hieronymi" ], "journal": "Journal of Symbolic Logic (1) 77 (2012) 111-121", "categories": [ "math.LO" ], "abstract": "We consider the question of when an expansion of a topological structure has the property that every open set definable in the expansion is definable in the original structure. This question is related to and inspired by recent work of Dolich, Miller and Steinhorn 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.", "revisions": [ { "version": "v1", "updated": "2010-02-19T15:38:51.000Z" } ], "analyses": { "subjects": [ "03C64" ], "keywords": [ "open set", "o-minimal open core", "special case", "generic predicate", "original structure" ], "tags": [ "journal article" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2010arXiv1002.3762B" } } }