Mutually algebraic structures and expansions by predicates

DOI10.2178/JSL.7801120zbMATH Open1261.03119arXiv1206.6023OpenAlexW2103535232MaRDI QIDQ4916552FDOQ4916552

Authors: M. C. Laskowski 

Publication date: 23 April 2013

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

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.

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

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

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)

Cites Work

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

Cited In (11)

• Characterizing the existence of a Borel complete expansion
• Jumps in speeds of hereditary properties in finite relational languages
• Weakly minimal groups with a new predicate
• Worst-case expansions of complete theories
• MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS
• COUNTING SIBLINGS IN UNIVERSAL THEORIES
• Mutual algebraicity and cellularity
• Theories with few non-algebraic types over models, and their decompositions
• Uniformly bounded arrays and mutually algebraic structures
• 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)