Mal'cev 准类变域定理的无选择公理证明
逻辑
2025-09-23 v1
摘要
1966 年，Mal'cev 证明了具有指定签名的第一阶结构类 为准类变域（quasivariety）当且仅当 包含一个单元且在同构、子结构和缩减积下闭合。本文给出该定理在 （无选择公理的齐维尔-弗雷芬 set theory）中的证明。
关键词
引用
@article{arxiv.2501.00766,
title = {A choice-free proof of Mal'cev's theorem on quasivarieties},
author = {Guozhen Shen},
journal= {arXiv preprint arXiv:2501.00766},
year = {2025}
}
备注
5 pages