类对称系统的一般理论
逻辑
2026-04-01 v1
摘要
我们发展了一套关于类大小对称系统的一般理论，作为关于类强迫的对称系统的自然推广。特别地，通过适应类强迫的通常预良性和良性的概念，我们给出了哥德尔-伯奈斯集合论（无选择公理）公理在类大小对称系统中得以保持的充分条件，以及类大小对称系统成立强迫定理的充分条件。
引用
@article{arxiv.2603.29521,
title = {A General Theory of Class Symmetric Systems},
author = {Peter Holy and Emma Palmer and Jonathan Schilhan},
journal= {arXiv preprint arXiv:2603.29521},
year = {2026}
}
备注
24 pages