Scifaro

中文

具有连续统多种类型的理论的可数模型分布

逻辑 2012-10-16 v1

作者: Roman A. Popkov , Sergey V. Sudoplatov

在 arXiv 上查看 ↗ PDF ↗

摘要

我们展示了具有连续统多种类型的完备理论的可数模型分布及其相应的结构特征：包括相对于 Rudin-Keisler 预序关系的有限集上的素模型、类型上及类型序列上的极限模型，以及理论的其他可数模型。

关键词

可数模型完备理论连续统多种类型素模型 Rudin-Keisler 预序极限模型结构特征

引用

@article{arxiv.1210.4043,
  title  = {Distributions of countable models of theories with continuum many types},
  author = {Roman A. Popkov and Sergey V. Sudoplatov},
  journal= {arXiv preprint arXiv:1210.4043},
  year   = {2012}
}