Counting Siblings in Universal Theories

Loading...
Thumbnail Image

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.

Notes

Rights