Related papers: Topological partition relations to the form omega^…
A topological space is called P_2 ( P_3, P_{<omega} ) if and only if it does not contain two (three, finitely many) uncountable open sets with empty intersection. We show that (i) there are 0-dimensional P_{<omega} spaces of size 2^omega,…
Every partition of [[omega_1]^{< omega}]^2 into finitely many pieces has a cofinal homogeneous set. Furthermore, it is consistent that every directed partially ordered set satisfies the partition property if and only if it has finite…
What topological spaces can be partitioned into copies of the Cantor space $2^\omega$? An obvious necessary condition is that a space can be partitioned into copies of $2^\omega$ only if it can be covered with copies of $2^\omega$. We prove…
If kappa is strongly compact, lambda > kappa is regular, then (2^{< lambda})^+ --> (lambda+eta)^2_theta holds for eta,theta<kappa.
We force $2^\lambda$ to be large and for many pairs in the interval $(\lambda,2^\lambda)$ a stronger version of the polarized partition relations hold. We apply this toproblem in general topology
Given a cardinal $\kappa$ and a sequence $\left(\alpha_i\right)_{i\in\kappa}$ of ordinals, we determine the least ordinal $\beta$ (when one exists) such that the topological partition relation…
We prove that, for every n, the topological space {\omega}_n^{\omega} (where {\omega}_n has the discrete topology) can be partitioned into {\omega}_n copies of the Baire space. Using this fact, the authors then prove two new theorems about…
This paper is a contribution to the investigation of closed partition relations for pairs of countable ordinals. As our main result, we prove that \[\omega^4 \cdot (n-2)+1 < R^{cl}(\omega \cdot n+1,3)<\omega^5\] for every integer $n \geq…
Let $A$ be a partial *-algebra endowed with a topology $\tau$ that makes it into a locally convex topological vector space $A[\tau]$. Then $A$ is called a topological partial *-algebra if it satisfies a number of conditions, which all…
A topological space ${\mathcal X}$ is reversible iff each continuous bijection (condensation) $f: {\mathcal X} \rightarrow {\mathcal X}$ is a homeomorphism; weakly reversible iff whenever ${\mathcal Y}$ is a space and there are…
We show that a topometric space $X$ is topometrically isomorphic to a type space of some continuous first-order theory if and only if $X$ is compact and has an open metric (i.e., satisfies that $\{p : d(p,U) < \varepsilon\}$ is open for…
The Yao-Yao partition theorem states that given a probability measure on an affine space of dimension n having a density which is continuous and bounded away from 0, it is possible to partition the space into 2^n regions of equal measure in…
We investigate infinite-exponent partition relations on arbitrary relational structures, with a focus on linear orders and graphs. Any such relation contradicts the Axiom of Choice. We show that there are some such relations which are…
The main result is that for lambda strong limit singular failing the continuum hypothesis (i.e. 2^lambda > lambda^+), a polarized partition theorem holds.
Let kappa a regular uncountable cardinal and lambda a cardinal >kappa, and suppose lambda^{<kappa} is less than the covering number for category cov(M_{kappa,kappa}). Then (a) I_{kappa,lambda}^+ -->^kappa (I_{kappa, lambda}^+,omega +1)^2,…
In these notes we give a brief introduction to decomposition theory and we summarize some classical and well-known results. The main question is that if a partitioning of a topological space (in other words a decomposition) is given, then…
We define a collection of topological Ramsey spaces consisting of equivalence relations on $\omega$ with the property that the minimal representatives of the equivalence classes alternate according to a fixed partition of $\omega$. To prove…
A partition is finitary if all its members are finite. For a set $A$, $\mathscr{B}(A)$ denotes the set of all finitary partitions of $A$. It is shown consistent with $\mathsf{ZF}$ (without the axiom of choice) that there exist an infinite…
v2: An additional assumption was added in Theorem 4.8. In order to show that a connected abelian group is admissible on the site of locally compact spaces we must in addition assume that it is locally topologically divisible. This condition…
The coupling of topological matter to topological Yang-Mills theory in four dimensions is considered and a model is presented. It is shown that, contrary to the two-dimensional case, this coupling leads to a breaking of the topological…