Groups, group actions and fields definable in first‐order topological structures

Mathematical Logic Quarterly 58 (6):449-467 (2012)
  Copy   BIBTEX


Given a group , G⊆Mm, definable in a first-order structure equation image equipped with a dimension function and a topology satisfying certain natural conditions, we find a large open definable subset V⊆G and define a new topology τ on G with which becomes a topological group. Moreover, τ restricted to V coincides with the topology of V inherited from Mm. Likewise we topologize transitive group actions and fields definable in equation image. These results require a series of preparatory facts concerning dimension functions, some of which might be of independent interest



    Upload a copy of this work     Papers currently archived: 89,703

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

43 (#320,825)

6 months
2 (#650,101)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

First order topological structures and theories.Anand Pillay - 1987 - Journal of Symbolic Logic 52 (3):763-778.
Weakly o-minimal nonvaluational structures.Roman Wencel - 2008 - Annals of Pure and Applied Logic 154 (3):139-162.

Add more references