On enveloping type-definable structures

DOI10.2178/JSL/1309952532MaRDI QIDQ3173539zbMATH OpenOpenAlexFDO

Authors 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

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)

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; zbMATH DE number 7401822
• 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

Cites work

• scientific article; zbMATH DE number 4016876 (Why is no real title available?)
• On bounded type-definable equivalence relations
• Simple theories
• Small skew fields

Cited in

(9)

• Fine groups
• Semigroups in stable structures
• On bounded type-definable equivalence relations
• \(\infty\)-constructible subsemigroups of \(M_2(\mathbb{C})\)
• scientific article; zbMATH DE number 4172399 (Why is no real title available?)
• The uniqueness of envelopes in ℵ₀-categorical, ℵ₀-stable structures
• On the ubiquity of certain total type structures
• 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)