References & Citations
Mathematics > Logic
Title: Mutual algebraicity and cellularity
(Submitted on 14 Nov 2019)
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.
Link back to: arXiv, form interface, contact.