加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本