An extendible model with a rigid elementary extension
Logic
2017-11-29 v2
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.
Keywords
Cite
@article{arxiv.1711.07333,
title = {An extendible model with a rigid elementary extension},
author = {Paul B. Larson and Saharon Shelah},
journal= {arXiv preprint arXiv:1711.07333},
year = {2017}
}