A descending chain condition for groups definable in o -minimal structures
Annals of Pure and Applied Logic 134 (2):303-313 (2005)
Abstract
We prove that if G is a group definable in a saturated o-minimal structure, then G has no infinite descending chain of type-definable subgroups of bounded index. Equivalently, G has a smallest type-definable subgroup G00 of bounded index and G/G00 equipped with the “logic topology” is a compact Lie group. These results give partial answers to some conjectures of the fourth authorAuthor's Profile
DOI
10.1016/j.apal.2005.01.002
My notes
Similar books and articles
Topological properties of sets definable in weakly o-minimal structures.Roman Wencel - 2010 - Journal of Symbolic Logic 75 (3):841-867.
Type-Definable and Invariant Groups in O-Minimal Structures.Jana Maříková - 2007 - Journal of Symbolic Logic 72 (1):67 - 80.
Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
Non-standard lattices and o-minimal groups.Pantelis E. Eleftheriou - 2013 - Bulletin of Symbolic Logic 19 (1):56-76.
Definable Open Sets As Finite Unions of Definable Open Cells.Simon Andrews - 2010 - Notre Dame Journal of Formal Logic 51 (2):247-251.
Groups definable in linear o-minimal structures: the non-compact case.Pantelis E. Eleftheriou - 2010 - Journal of Symbolic Logic 75 (1):208-220.
Modal logics with no minimal proper extensions.George F. Schumm - 1979 - Studia Logica 38 (3):233 - 235.
On enveloping type-definable structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
On o-minimal expansions of archimedean ordered groups.Michael C. Laskowski & Charles Steinhorn - 1995 - Journal of Symbolic Logic 60 (3):817-831.
Splitting definably compact groups in o-minimal structures.Marcello Mamino - 2011 - Journal of Symbolic Logic 76 (3):973 - 986.
Some remarks on definable equivalence relations in o-minimal structures.Anand Pillay - 1986 - Journal of Symbolic Logic 51 (3):709-714.
Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup.Alessandro Berarducci - 2009 - Journal of Symbolic Logic 74 (3):891-900.
Presburger sets and p-minimal fields.Raf Cluckers - 2003 - Journal of Symbolic Logic 68 (1):153-162.
Analytics
Added to PP
2013-10-30
Downloads
23 (#501,990)
6 months
1 (#450,425)
2013-10-30
Downloads
23 (#501,990)
6 months
1 (#450,425)
Historical graph of downloads
Author's Profile
Citations of this work
Groups Definable in Ordered Vector Spaces over Ordered Division Rings.Pantelis E. Eleftheriou & Sergei Starchenko - 2007 - Journal of Symbolic Logic 72 (4):1108 - 1140.
O-Minimal Spectra, Infinitesimal Subgroups and Cohomology.Alessandro Berarducci - 2007 - Journal of Symbolic Logic 72 (4):1177 - 1193.
Compact domination for groups definable in linear o-minimal structures.Pantelis E. Eleftheriou - 2009 - Archive for Mathematical Logic 48 (7):607-623.
One-basedness and groups of the form G/G 00.Davide Penazzi - 2011 - Archive for Mathematical Logic 50 (7-8):743-758.
Non-standard lattices and o-minimal groups.Pantelis E. Eleftheriou - 2013 - Bulletin of Symbolic Logic 19 (1):56-76.
References found in this work
Hyperimaginaries and Automorphism Groups.D. Lascar & A. Pillay - 2001 - Journal of Symbolic Logic 66 (1):127-143.
Type-definability, compact lie groups, and o-minimality.Anand Pillay - 2004 - Journal of Mathematical Logic 4 (02):147-162.
Definably compact Abelian groups.Mário J. Edmundo & Margarita Otero - 2004 - Journal of Mathematical Logic 4 (02):163-180.
One-dimensional groups over an o-minimal structure.Vladimir Razenj - 1991 - Annals of Pure and Applied Logic 53 (3):269-277.
Intersection theory for o-minimal manifolds.Alessandro Berarducci & Margarita Otero - 2001 - Annals of Pure and Applied Logic 107 (1-3):87-119.