Mutually algebraic structures and expansions by predicates

DOI10.2178/JSL.7801120MaRDI QIDQ4916552zbMATH OpenOpenAlexFDO

Authors M. C. Laskowski

Publication date 23 April 2013

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

Full work available at URL https://arxiv.org/abs/1206.6023, https://projecteuclid.org/euclid.jsl/1358951107

zbMATH Keywords

finite cover propertyelementary extensionsweakly minimal theorymutually algebraic reductmutually algebraic structuremutually algebraic theoriesstrong structure theorem

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Abstract: We introduce the notions of a mutually algebraic structures and theories and prove many equivalents. A theory $T$ is mutually algebraic if and only if it is weakly minimal and trivial if and only if no model $M$ of $T$ has an expansion $(M,A)$ by a unary predicate with the finite cover property. We show that every structure has a maximal mutually algebraic reduct, and give a strong structure theorem for the class of elementary extensions of a fixed mutually algebraic structure.

Recommendations

• Uniformly bounded arrays and mutually algebraic structures
• Characterizing model completeness among mutually algebraic structures
• Weakly minimal groups with a new predicate
• On expansions of models of weakly o-minimal theories by binary predicates
• Classification theory over a predicate. I

Cites work

• Model completeness for trivial, uncountably categorical theories of Morley rank 1
• Second-order quantifiers and the complexity of theories
• The elementary diagram of a trivial, weakly minimal structure is near model complete

Cited in

(11)

• Jumps in speeds of hereditary properties in finite relational languages
• Characterizing the existence of a Borel complete expansion
• Weakly minimal groups with a new predicate
• Worst-case expansions of complete theories
• COUNTING SIBLINGS IN UNIVERSAL THEORIES
• MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS
• Mutual algebraicity and cellularity
• Uniformly bounded arrays and mutually algebraic structures
• Theories with few non-algebraic types over models, and their decompositions
• Characterizing model completeness among mutually algebraic structures
• \((\mathbb{Z},\mathrm{succ},U)\), \((\mathbb{Z},E,U)\), and their CSP's

This page was built for publication: Mutually algebraic structures and expansions by predicates

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