搜索结果: 1-2 共查到“理学 CARDINAL ARITHMETIC”相关记录2条 . 查询时间(0.052 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:On cancellation laws in cardinal arithmetic without the axiom of choice
选择公理 基数算术 取消定律
font style='font-size:12px;'>
2023/4/17
PROPER FORCING,CARDINAL ARITHMETIC,AND UNCOUNTABLE LINEAR ORDERS
PROPER FORCING CARDINAL ARITHMETIC UNCOUNTABLE LINEAR ORDERS
font style='font-size:12px;'>
2015/8/17
In this paper I will communicate some new consequences of the Proper Forcing Axiom. First, the Bounded Proper Forcing Axiom implies that there is a well ordering of R which is Σ1-definable in (H(ω2), ...