An extendible model with a rigid elementary extension
arXiv:1711.07333
Abstract
A countable structure is said to be extendible if it has the same Scott sentence as some uncountable structure. Rigid structures are not extendible. We give an example of an extendible model with a rigid elementary extension.