Mutually algebraic structures and expansions by predicates

DOI10.2178/jsl.7801120zbMath1261.03119arXiv1206.6023OpenAlexW2103535232MaRDI QIDQ4916552

Michael Chris Laskowski

Publication date: 23 April 2013

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

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

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)

Related Items (10)

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

Cites Work

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

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