Journal of Symbolic Logic 79 (4):1199-1223 (2014)
Abstract |
AssumeGis a group definable in a modelMof a stable theoryT. We prove that the semigroupSG of completeG-types overMis an inverse limit of some semigroups type-definable inMeq. We prove that the maximal subgroups ofSG are inverse limits of some definable quotients of subgroups ofG. We consider the powers of types in the semigroupSG and prove that in a way every type inSG is profinitely many steps away from a type in a subgroup ofSG.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.1017/jsl.2014.25 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
On Compactifications and the Topological Dynamics of Definable Groups.Jakub Gismatullin, Davide Penazzi & Anand Pillay - 2014 - Annals of Pure and Applied Logic 165 (2):552-562.
On Type Definable Subgroups of a Stable Group.L. Newelski - 1991 - Notre Dame Journal of Formal Logic 32 (2):173-187.
Bounds in Weak Truth-Table Reducibility.Karol Habart - 1991 - Notre Dame Journal of Formal Logic 32 (2):233-241.
Citations of this work BETA
Topological Dynamics and NIP Fields.Grzegorz Jagiella - 2021 - Annals of Pure and Applied Logic 172 (9):103010.
Definably Topological Dynamics of P-Adic Algebraic Groups.Jiaqi Bao & Ningyuan Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103077.
On Some Dynamical Aspects of NIP Theories.Alireza Mofidi - 2018 - Archive for Mathematical Logic 57 (1-2):37-71.
Semigroups in Stable Structures.Yatir Halevi - 2018 - Notre Dame Journal of Formal Logic 59 (3):417-436.
Similar books and articles
Topological Dynamics and Definable Groups.Anand Pillay - 2013 - Journal of Symbolic Logic 78 (2):657-666.
Topological Invariance of Biological Development.Eugene Presnov, Valeria Isaeva & Nikolay Kasyanov - 2014 - Axiomathes 24 (1):117-135.
Topological Dynamics of Definable Group Actions.Ludomir Newelski - 2009 - Journal of Symbolic Logic 74 (1):50-72.
Dynamic Topological Logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Undecidable Lt Theories of Topological Abelian Groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
Definable Topological Dynamics and Real Lie Groups.Grzegorz Jagiella - 2015 - Mathematical Logic Quarterly 61 (1-2):45-55.
Small Stable Groups and Generics.Frank O. Wagner - 1991 - Journal of Symbolic Logic 56 (3):1026-1037.
Simple Stable Homogeneous Groups.Alexander Berenstein - 2003 - Journal of Symbolic Logic 68 (4):1145-1162.
Topological Dynamics for Groups Definable in Real Closed Field.Ningyuan Yao & Dongyang Long - 2015 - Annals of Pure and Applied Logic 166 (3):261-273.
Proof Mining in Topological Dynamics.Philipp Gerhardy - 2008 - Notre Dame Journal of Formal Logic 49 (4):431-446.
A Note on Stable Sets, Groups, and Theories with NIP.Alf Onshuus & Ya'acov Peterzil - 2007 - Mathematical Logic Quarterly 53 (3):295-300.
On Stable Torsion-Free Nilpotent Groups.Claus Grünenwald & Frieder Haug - 1993 - Archive for Mathematical Logic 32 (6):451-462.
CM-Triviality and Stable Groups.Frank O. Wagner - 1998 - Journal of Symbolic Logic 63 (4):1473-1495.
Some Local Properties of Ω-Stable Groups.Katsumi Tanaka - 1988 - Archive for Mathematical Logic 27 (1):45-47.
Analytics
Added to PP index
2016-06-30
Total views
4 ( #1,277,971 of 2,506,076 )
Recent downloads (6 months)
1 ( #416,984 of 2,506,076 )
2016-06-30
Total views
4 ( #1,277,971 of 2,506,076 )
Recent downloads (6 months)
1 ( #416,984 of 2,506,076 )
How can I increase my downloads?
Downloads