关于形式数学系统模型的新理论
逻辑
2026-05-07 v2
摘要
我们研究了在前一篇论文中开发的用于形式数学系统的新模型论。我们引入了形式语言的同构结构和同态结构，给出一些结果与例证，并以关于适用于我们新理论的简化集合论 RST 的讨论结束本文。
引用
@article{arxiv.2604.12432,
title = {On a new theory of models for formal mathematical systems},
author = {Matthias Kunik},
journal= {arXiv preprint arXiv:2604.12432},
year = {2026}
}
备注
17 pages. arXiv admin note: substantial text overlap with arXiv:2406.03860 We have slightly extended our paper and we have fixed an incorrect explanation in Example 3.7