反基础模型双隶属图的若干性质
逻辑
2025-03-14 v1
摘要
我们回答了关于反基础(Anti-Foundation)可数模型的归约图的一些问题,这些图通过考虑双隶属二元关系 得到。我们证明了存在连续统多个这样的图,并研究了它们的连通分支。我们描述了它们的完备理论,并证明每一个都有连续统多个可数模型,其中某些并非反基础模型的归约。
引用
@article{arxiv.1908.02708,
title = {On double-membership graphs of models of Anti-Foundation},
author = {Bea Adam-Day and John Howe and Rosario Mennuni},
journal= {arXiv preprint arXiv:1908.02708},
year = {2025}
}
备注
15 pages, 2 figures