关于初等子模型的下行Löwenheim-Skolem定理
逻辑
2026-03-03 v2
摘要
我们为形式数学系统引入了一个新的模型定义。该定义基于形式系统中的替换，允许对模型论进行纯代数处理。由于形式系统中使用的通用语法，这非常适用于应用。对于我们的模型，我们给出了初等子模型的下行Löwenheim-Skolem定理的一个新证明。
引用
@article{arxiv.2406.03860,
title = {On the downward L\"owenheim-Skolem Theorem for elementary submodels},
author = {Matthias Kunik},
journal= {arXiv preprint arXiv:2406.03860},
year = {2026}
}
备注
We have corrected some typos and improved our notation. 28 pages