搜索结果: 1-3 共查到“理学 Uncountable Linear Orders”相关记录3条 . 查询时间(0.125 秒)
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), ...
A FIVE ELEMENT BASIS FOR THE UNCOUNTABLE LINEAR ORDERS
FIVE ELEMENT BASIS UNCOUNTABLE LINEAR ORDERS
2015/8/17
In this paper I will show that it is relatively consistent with the usual axioms of mathematics (ZFC) together with a strong form of the axiom of infinity (the existence of a supercompact cardinal) th...
ω1 and −ω1 May Be the Only Minimal Uncountable Linear Orders
ω1 and − ω1 May Only Minimal Uncountable Linear Orders
2015/8/17
In 1971 Laver proved the following result, confirming a long-standing conjecture of Fraïssé. Theorem 1.1 [10]. If Li (i < ω) is a sequence of σ-scattered linear orders, then there exist i < j suc...