搜索结果: 1-2 共查到“数理逻辑与数学基础 Abstract”相关记录2条 . 查询时间(0.046 秒)
A parametrization of the abstract Ramsey theorem
parametrization the abstract Ramsey theorem
2010/11/23
We give a parametrization with perfect subsets of $2^{\infty}$ of the abstract Ramsey theorem (see \cite{todo}) Our main tool is an extension of the parametrized version of the combinatorial forcing d...
We introduce and study a combinatorially defined notion of root basis of a (real) root system of a possibly infinite Coxeter group. Known results on conjugacy up to sign of root bases of certain irred...