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

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

Abstract

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

Links

PhilArchive



    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

Analytics

Added to PP
2013-11-03

Downloads
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