On enveloping type-definable structures

DOI10.2178/JSL/1309952532zbMATH Open1244.03112OpenAlexW1965637468MaRDI QIDQ3173539FDOQ3173539

Cédric Milliet

Publication date: 10 October 2011

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

Full work available at URL: https://doi.org/10.2178/jsl/1309952532

Recommendations

• Definability and definable groups in simple theories
• Small theories of Boolean ordered o-minimal structures
• TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY
• A note on Lascar strong types in simple theories
• Setoids and universes
• scientific article
• Weak generic types and coverings of groups I
• Groups in \(\mathrm{NTP}_{2}\)
• On maximal stable quotients of definable groups in NIP theories
• Bounded orbits and strongly generic sets

zbMATH Keywords

envelopesimple theorysmall theorytype-definable structures

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Model theory of fields (12L12) Applications of logic to group theory (20A15)

Cites Work

• Simple theories
• Title not available (Why is that?)
• Small skew fields
• On bounded type-definable equivalence relations

Cited In (9)

• Semigroups in stable structures
• On bounded type-definable equivalence relations
• \(\infty\)-constructible subsemigroups of \(M_2(\mathbb{C})\)
• Title not available (Why is that?)
• The uniqueness of envelopes in ℵ₀-categorical, ℵ₀-stable structures
• On the ubiquity of certain total type structures
• GROUPES FINS
• On piecewise hyperdefinable groups
• On uniform definability of types over finite sets

This page was built for publication: On enveloping type-definable structures

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