用ZFC$^-$或二阶Peano算术的方法推导Jensen $varDelta^1\_3$实数

摘要:Jensen-like transfinite forcing in FC^-

作者:Vladimir Kanovei

论文ID:2305.12486

分类:Logic

分类简称:math.LO

提交时间:2023-05-23

PDF 下载: 英文版 中文版pdf翻译中