We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Mutual algebraicity and cellularity

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.
Comments: 6 pages
Subjects: Logic (math.LO)
MSC classes: 03C15
Cite as: arXiv:1911.06303 [math.LO]
  (or arXiv:1911.06303v1 [math.LO] for this version)

Submission history

From: Samuel Braunfeld [view email]
[v1] Thu, 14 Nov 2019 18:43:51 GMT (8kb)

Link back to: arXiv, form interface, contact.