Counting Siblings in Universal Theories
Counting Siblings in Universal Theories
Loading...
Files
Publication or External Link
Date
2022-01-10
Authors
Braunfield, Samuel
Laskowski, Michael C.
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.