Counting Siblings in Universal Theories
Counting Siblings in Universal Theories
Loading...
Files
Publication or External Link
Date
2022-01-10
Advisor
Citation
BRAUNFELD, S., & LASKOWSKI, M. (2022). COUNTING SIBLINGS IN UNIVERSAL THEORIES. The Journal of Symbolic Logic, 87(3), 1130-1155.
Abstract
We show that if a countable structure M in a finite relational language is not cellular, then there is an age-preserving N⊇M such that 2ℵ0 many structures are bi-embeddable with N. The proof proceeds by a case division based on mutual algebraicity.