Uniformly bounded arrays and mutually algebraic structures

DOI10.1215/00294527-2020-0004zbMATH Open1484.03054arXiv1803.10054OpenAlexW2794656703MaRDI QIDQ778731FDOQ778731

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)

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$.

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

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

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)

Cites Work

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

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
• Title not available (Why is that?)
• 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)