Saturated Models for the Working Model Theorist

Halevi, Yatir; Kaplan, Itay

数学 > 逻辑

arXiv:2112.02774 (math)

[提交于 2021年12月6日 ]

标题：饱和模型对于工作模型理论家

标题： Saturated Models for the Working Model Theorist

Authors:Yatir Halevi, Itay Kaplan

摘要：我们发表了一个经典结果，该结果指出，在大多数情况下，假设模型论中存在饱和模型是没有害处的。该表述面向仅具备公理集合论基础知识的模型论学者。

摘要： We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.

主题：	逻辑 (math.LO)
引用方式：	arXiv:2112.02774 [math.LO]
	(或者 arXiv:2112.02774v1 [math.LO] 对于此版本)
	https://doi.org/10.48550/arXiv.2112.02774

提交历史

来自： Yatir Halevi [查看电子邮件]
[v1] 星期一， 2021 年 12 月 6 日 04:06:35 UTC (8 KB)

全文链接：

获取论文：

查看许可

当前浏览上下文:

math.LO

新的 | 最近的 | 2021-12

切换浏览方式为:

math

参考文献与引用

导出 BibTeX 引用

数学 > 逻辑

标题：饱和模型对于工作模型理论家

标题： Saturated Models for the Working Model Theorist

提交历史

获取论文：

参考文献与引用

收藏

文献和引用工具

与本文相关的代码，数据和媒体

演示

推荐器和搜索工具

arXivLabs：与社区合作伙伴的实验项目

数学 > 逻辑

标题： 饱和模型对于工作模型理论家 显示英文标题

标题： Saturated Models for the Working Model Theorist

提交历史

获取论文：

参考文献与引用

BibTeX 格式的引用

收藏

文献和引用工具

与本文相关的代码，数据和媒体

演示

推荐器和搜索工具

arXivLabs：与社区合作伙伴的实验项目

标题：饱和模型对于工作模型理论家