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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,079
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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.

Add more references

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.

Add more citations

Similar books and articles

Topological Dynamics and Definable Groups.Anand Pillay - 2013 - Journal of Symbolic Logic 78 (2):657-666.
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.
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 )

How can I increase my downloads?

Downloads

My notes