策梅洛定理的一个推广
逻辑
2019-07-31 v1
摘要
我们证明：若 (M,E,E') 在成员关系为 E 时满足一阶策梅洛-弗兰克尔集合论公理，且在成员关系为 E' 时也满足，并且在两种情况下公式都允许同时包含 E 和 E'，则 (M,E) 与 (M,E') 同构，且该同构在 (M,E,E') 中可定义。这推广了策梅洛于 1930 年关于二阶 ZFC 的定理。
引用
@article{arxiv.1808.08621,
title = {An extension of a theorem of Zermelo},
author = {Jouko Väänänen},
journal= {arXiv preprint arXiv:1808.08621},
year = {2019}
}