相关论文: Abraham-Rubin-Shelah Open Colorings and a Large Co…
We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a…
We construct a model of $\mathsf{MA_{\aleph_1}}+\mathsf{OCA}_T$ where Baumgartner's Axiom fails, settling a question of Farah. Moreover, in the same model there is an $\aleph_1$-dense set of reals which is neither reversible nor increasing,…
This work is concerned with an axiom introduced by Todorc\v{e}vi\'{c} in \cite{stevo} that constitutes a Ramsey-like statement regarding the topology of the reals. Our aim is to explain the axiom in detail, give some interesting…
We work with simple graphs in ZF (Zermelo--Fraenkel set theory without the Axiom of Choice (AC)) and assume that the sets of colors can be either well-orderable or non-well-orderable to prove that the following statements are equivalent to…
We state a new generic absoluteness principle, and use Shelah's memory iteration technique to show that it is consistent with the large continuum.
We prove a color-position symmetry for a class of ASEP-like interacting particle systems with discrete time on the one-dimensional lattice. The full space-time inhomogeneity of our systems allows to apply the result to colored (or…
We survey some principal results and open problems related to colorings of geometric and algebraic objects endowed with symmetries, concentrating the exposition on the maximal symmetry numbers of such objects.
We present an explicit family of hypergraphs with arbitrarily large uniformity and chromatic number that admit realizations in both geometric and number-theoretic settings. As an application, we give a new proof of a theorem of Chen, Pach,…
We prove a better coloring theorem for aleph_4 and even aleph_3. This has a general topology consequence.
We consider some coloring issues related to the famous Erd\H {o}s Discrepancy Problem. A set of the form $A_{s,k}=\{s,2s,\dots,ks\}$, with $s,k\in \mathbb{N}$, is called a \emph{homogeneous arithmetic progression}. We prove that for every…
The main aim of the paper is to study in greater detail absolutely homogeneous structures (that is, objects with the property that each partial isomorphism extends to a global automorphism), with special emphasis on metric spaces and…
We investigate the existence of metric spaces which, for any coloring with a fixed number of colors, contain monochromatic isomorphic copies of a fixed starting space K. In the main theorem we construct such a space of size \(2^{\aleph_0}\)…
In arXiv:2209.04859 Andy Zucker and Chris Lambie-Hanson proved the consistency result for some coloring principle for the products of polish spaces by at most countable many colors. This principle easy implies Halpern and L\"auchli's…
In this series of papers we advance Ramsey theory of colorings over partitions. In this part, we concentrate on anti-Ramsey relations, or, as they are better known, strong colorings, and in particular solve two problems from [CKS21]. It is…
Strong reflection principles with the reflection cardinal $\leq\aleph_1$ or $<2^{\aleph_0}$ imply that the size of the continuum is either $\aleph_1$ or $\aleph_2$ or very large. Thus, the stipulation, that a strong reflection principle…
We construct a generic extension of $L$ satisfying Martin's Axiom, $2^{\aleph_0}=\aleph_3$, a lightface $\Delta^1_3$ wellorder of the reals, and $\Sigma^1_n$-uniformization for every $n\geq 2$ simultaneously.
P\'olya's enumeration theorem is concerned with counting labeled sets up to symmetry. Given a finite group acting on a finite set of labeled elements it states that the number of labeled sets up to symmetry is given by a polynomial in the…
In \cite{st2017}, the authors introduced the so-called \emph{general divide and color models}. One of the most well-known examples of such a model is the Ising model with external field $h = 0$, which has a color representation given by the…
It is proved that for each natural number $n$, if $\left| \mathbb{R} \right| = {\aleph}_{n}$, then there is a coloring of ${\left[ \mathbb{R} \right]}^{n+2}$ into ${\aleph}_{0}$ colors that takes all colors on ${\left[ X \right]}^{n+2}$…
Motivated by the observation that the counting function of a certain base-3 colored partition contains the even perfect numbers as a subsequence, we begin by defining a sequence of polynomials in four variables and discuss their properties…