Definability of groups in ℵ0-stable metric structures

DOI10.2178/jsl/1278682202zbMath1205.03047arXiv0802.4286OpenAlexW3104604358MaRDI QIDQ4931092

Itaï Ben Yaacov

Publication date: 4 October 2010

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

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

zbMATH Keywords

continuous logicdefinable groupstype-definable groupsdefinable metric

Mathematics Subject Classification ID

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

Related Items (9)

Omitting types in logic of metric structures ⋮ Definable functions in Urysohn's metric space ⋮ Separation for isometric group actions and hyperimaginary independence ⋮ On theories of random variables ⋮ Encoding complete metric structures by classical structures ⋮ Locally compact groups which are separably categorical structures ⋮ Continuous first order logic and local stability ⋮ Model theory of 𝐶*-algebras ⋮ On stable quotients

Cites Work

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

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