Uniformly bounded arrays and mutually algebraic structures

DOI10.1215/00294527-2020-0004MaRDI QIDQ778731zbMATH OpenOpenAlexFDO

Authors Caroline A. Terry, M. C. Laskowski

Publication date 20 July 2020

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1803.10054, https://projecteuclid.org/euclid.ndjfl/1586397618

zbMATH Keywords

array isolatingmutually algebraicunbounded arrays

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52)

Abstract: We define an easily verifiable notion of an atomic formula having uniformly bounded arrays in a structure $M$. We prove that if $T$ is a complete $L$-theory, then $T$ is mutually algebraic if and only if there is some model $M$ of $T$ for which every atomic formula has uniformly bounded arrays. Moreover, an incomplete theory $T$ is mutually algebraic if and only if every atomic formula has uniformly bounded arrays in every model $M$ of $T$.

Recommendations

• Mutually algebraic structures and expansions by predicates
• Characterizing model completeness among mutually algebraic structures
• scientific article; zbMATH DE number 4037825
• Perfect pseudo-algebraically closed fields are algebraically bounded.
• scientific article; zbMATH DE number 408792

Cites work

• Model completeness for trivial, uncountably categorical theories of Morley rank 1
• Mutually algebraic structures and expansions by predicates
• The elementary diagram of a trivial, weakly minimal structure is near model complete

Cited in

(10)

• Jumps in speeds of hereditary properties in finite relational languages
• Weakly minimal groups with a new predicate
• Worst-case expansions of complete theories
• COUNTING SIBLINGS IN UNIVERSAL THEORIES
• Mutual algebraicity and cellularity
• Mutually algebraic structures and expansions by predicates
• scientific article; zbMATH DE number 5613976 (Why is no real title available?)
• Access structures determined by uniform polymatroids
• Theories with few non-algebraic types over models, and their decompositions
• Characterizing model completeness among mutually algebraic structures

This page was built for publication: Uniformly bounded arrays and mutually algebraic structures

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