搜索结果: 1-2 共查到“CARDINAL ARITHMETIC”相关记录2条 . 查询时间(0.046 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：On cancellation laws in cardinal arithmetic without the axiom of choice
选择公理 基数算术 取消定律
2023/4/17
We survey known results concerning cancellation laws in cardinal arithmetic without the axiom of choice. These results include the cancellation law for Dedekind finite cardinals in cardinal addition a...
PROPER FORCING,CARDINAL ARITHMETIC,AND UNCOUNTABLE LINEAR ORDERS
PROPER FORCING CARDINAL ARITHMETIC UNCOUNTABLE LINEAR ORDERS
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), ...