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

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

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
Keywords definable field  03C64  First‐order topological structure  definable group  definable group action  MSC (2010) 03C68
Categories (categorize this paper)
DOI 10.1002/malq.201200033
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,283
Through your library

References found in this work BETA

Weakly o-Minimal Nonvaluational Structures.Roman Wencel - 2008 - Annals of Pure and Applied Logic 154 (3):139-162.
First Order Topological Structures and Theories.Anand Pillay - 1987 - Journal of Symbolic Logic 52 (3):763-778.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
39 ( #234,519 of 2,290,693 )

Recent downloads (6 months)
1 ( #835,662 of 2,290,693 )

How can I increase my downloads?


My notes

Sign in to use this feature