Definability of groups in ℵ0-stable metric structures

DOI10.2178/JSL/1278682202MaRDI QIDQ4931092zbMATH OpenOpenAlexFDO

Authors Itaï Ben Yaacov

Publication date 4 October 2010

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0802.4286

zbMATH Keywords

continuous logicdefinable groupsdefinable metrictype-definable groups

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Abstract: We prove that in a continuous $alep{h}_0$-stable theory every type-definable group is definable. The two main ingredients in the proof are: �egin{enumerate} item Results concerning Morley ranks (i.e., Cantor-Bendixson ranks) from cite{BenYaacov:TopometricSpacesAndPerturbations}, allowing us to prove the theorem in case the metric is invariant under the group action; and item Results concerning the existence of translation-invariant definable metrics on type-definable groups and the extension of partial definable metrics to total ones. end{enumerate}

Recommendations

• scientific article; zbMATH DE number 43764
• scientific article; zbMATH DE number 4029519
• scientific article; zbMATH DE number 1522509
• scientific article; zbMATH DE number 40985
• scientific article; zbMATH DE number 493073
• Topometric spaces and perturbations of metric structures
• Stability and Bounded Balls of Free Products
• scientific article; zbMATH DE number 4068845
• scientific article; zbMATH DE number 871876
• scientific article; zbMATH DE number 1063290

Cites work

• Definable subgroups of measure algebras
• Stability and stable groups in continuous logic
• Thickness, and a categoric view of type-space functors
• Topometric spaces and perturbations of metric structures
• Uncountable dense categoricity in cats

Cited in

(17)

• On theories of random variables
• On stable quotients
• Encoding complete metric structures by classical structures
• Metric groups, unitary representations and continuous logic
• Continuous first order logic and local stability
• Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
• Model theory of \(C^*\)-algebras
• Definable functions in Urysohn's metric space
• A note on defining groups in stable structures
• Omitting types in logic of metric structures
• Separation for isometric group actions and hyperimaginary independence
• Locally compact groups which are separably categorical structures
• Definable subgroups of measure algebras
• Unbounded actions of metric groups and continuous logic
• Representations of groups on Banach spaces
• Star sorts, Lelek fans, and the reconstruction of non-_0-categorical theories in continuous logic
• Strongly minimal sets and categoricity in continuous logic

This page was built for publication: Definability of groups in ℵ₀-stable metric structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4931092)