Journal of Mathematical Logic. 2004;4(1):1-72. doi: 10.1142/S0219061304000310 Q10.92025
CHARACTERIZATION OF □ κ IN CORE MODELS
DOI: 10.1142/S0219061304000310
摘要 查看摘要
Journal of Mathematical Logic. 2004;4(1):1-72. doi: 10.1142/S0219061304000310 Q10.92025
DOI: 10.1142/S0219061304000310
摘要 查看摘要