Set-theoretic Structure of Compact Topological Spaces

这项研究项目涉及抽象数学空间。特别是，我们希望发现哪些类型的这样的空间可以说是存在的(在这个词的数学意义上)。我们还研究了这些空间何时可以作为诸如公共实线之类的著名空间的子空间而存在。作为一个精确的例子，如果实数对用两种颜色着色，哪种类型的空间将显示为其所有对都具有相同颜色的集合？ 这里的许多问题都是困难的，因为有许多关于这些空间的陈述，既不能用通常的数学意义上的证明，也不能用通常的数学假设来反驳。此外，我们可以证明没有证据，我们也可以证明没有反驳。这对研究数学探究方法的局限性有着严重的影响。

This research project concerns abstract mathematical spaces. In particular, we look to discover which types of such spaces can be said to exist (in the mathematical sense of the word). We also look at when these spaces can exist as sub-spaces of well-known spaces such as the common real line. As a precise example, if the pairs of real numbers are coloured with two colours, which kind of spaces will appear as sets for which all their pairs have the same colour? Many of the problems here are difficult in the sense that there are many statement about these spaces which can neither be proved nor refuted in the usual mathematical sense, with the usual mathematical assumptions. Moreover, we can prove that there can be no proof and we can also prove that there can be no refutation. This has serious implications for the study of the limitations on the strength of the mathematical method of inquiry.