搜索结果: 1-2 共查到“线性代数 basis”相关记录2条 . 查询时间(0.031 秒)
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...
BOUNDING THE CONSISTENCY STRENGTH OF A FIVE ELEMENT LINEAR BASIS
CONSISTENCY STRENGTH FIVE ELEMENT LINEAR BASIS
2015/8/17
In [13] it was demonstrated that the Proper Forcing Axiom implies that there is a five element basis for the class of uncountable linear orders. The assumptions needed in the proof have consistency st...