首页 | 本学科首页   官方微博 | 高级检索  
     


Open core and small groups in dense pairs of topological structures
Authors:Elías Baro  Amador Martin-Pizarro
Affiliation:1. Departamento de Álgebra, Geometría y Topología, Facultad de Matemáticas, Universidad Complutense de Madrid, Plaza de Ciencias, 3, Ciudad Universitaria, E-28040 Madrid, Spain;2. Abteilung für Mathematische Logik, Mathematisches Institut, Albert-Ludwig-Universität Freiburg, Ernst-Zermelo-Straße 1, D-79104 Freiburg, Germany
Abstract:Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs of o-minimal groups, and show that every definable unary function in a dense pair of geometric topological fields agrees with a definable function in the reduct, off a small definable subset, that is, a definable set internal to the predicate.For certain dense pairs of geometric topological fields without the independence property, whenever the underlying set of a definable group is contained in the dense-codense predicate, the group law is locally definable in the reduct as a geometric topological field. If the reduct has elimination of imaginaries, we extend this result, up to interdefinability, to all groups internal to the predicate.
Keywords:Model theory  Topological structures  Real closed fields  Dense pairs
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号