References & Citations
Mathematics > Logic
Title: Mutual algebraicity and cellularity
(Submitted on 14 Nov 2019 (v1), last revised 26 Oct 2021 (this version, v3))
Abstract: We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure $M$ is cellular if and only if $M$ is $\omega$-categorical and mutually algebraic. Second, if a countable structure $M$ in a finite relational language is mutually algebraic non-cellular, we show it admits an elementary extension adding infinitely many infinite MA-connected components.
Towards these results, we introduce MA-presentations of a mutually algebraic structure, in which every atomic formula is mutually algebraic. This allows for an improved quantifier elimination and a decomposition of the structure into independent pieces. We also show this decomposition is largely independent of the MA-presentation chosen.
Submission history
From: Samuel Braunfeld [view email][v1] Thu, 14 Nov 2019 18:43:51 GMT (8kb)
[v2] Thu, 20 Aug 2020 16:54:32 GMT (18kb)
[v3] Tue, 26 Oct 2021 19:24:43 GMT (19kb)
Link back to: arXiv, form interface, contact.