Related papers: Ramsey Property and Pathological Sets: Almost Disj…

The well-known Galvin-Prikry Theorem states that Borel subsets of the Baire space are Ramsey: Given any Borel subset $\mathcal{X}\subseteq [\omega]^{\omega}$, where $[\omega]^{\omega}$ is endowed with the metric topology, each infinite…

We apply the Dual Ramsey Theorem of Graham and Rothschild to prove the Ramsey property for classes of finite Boolean algebras with distinguished ideals. This allows us to compute the universal minimal flow of the group of automorphisms of…

In this article, we generalise a result of Pottmeyer from the multiplicative group of the algebraic numbers to almost split semiabelian varieties defined over number fields. This concerns a consequence of R\'emond's generalisation of…

Let $(X, \Gamma)$ be a free and minimal topological dynamical system, where $X$ is a separable compact Hausdorff space and $\Gamma$ is a countable infinite discrete amenable group. It is shown that if $(X, \Gamma)$ has the Uniform Rokhlin…

We show that the set of codes for Ramsey positive analytic sets is $\mathbf{\Sigma}^1_2$-complete. This is a one projective-step higher analogue of the Hurewicz theorem saying that the set of codes for uncountable analytic sets is…

For a graph $G$, we write $G\rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)$ if every blue-red colouring of the edges of $G$ contains either a blue copy of $K_{r+1}$, or a red copy of each tree with $n$ edges and maximum degree at most $D$.…

We answer an old question of Michael Hru\v{s}\'{a}k by constructing a $+$-Ramsey \textsf{MAD} family without the need of any additional axioms beyond $\mathsf{ZFC.}$ We also prove that every Miller-indestructible \textsf{MAD }family is…

We state the Ramsey property of classes of ordered structures with closures and given local properties. This generalises many old and new results: the Ne\v{s}et\v{r}il-R\"{o}dl Theorem, the author's Ramsey lift of bowtie-free graphs as well…

We study the uniform property $\Gamma$ for separable simple $C^*$-algebras which have quasitraces and may not be exact. We show that a stably finite separable simple $C^*$-algebra $A$ with strict comparison and uniform property $\Gamma$ has…

Let $G$ be a graph and $\mathcal{F}$ a family of graphs. Define $\alpha_{\mathcal{F}}(G)$ as the maximum order of any induced subgraph of $G$ that belongs to the family $\mathcal{F}$. For the family $\mathcal{F}$ of graphs with…

It is well-known that a finitely generated group $\Gamma$ has Kazhdan's property (T) if and only if the Laplacian element $\Delta$ in ${\mathbb R}[\Gamma]$ has a spectral gap. In this paper, we prove that this phenomenon is witnessed in…

We prove that the torsion-free lamplighter group $\Gamma = \mathbb{Z}^n \wr \mathbb{Z}$ of any rank $n \in \mathbb{N}$ is profinitely rigid in the absolute sense: the finite quotients of $\Gamma$ determine its isomorphism type uniquely…

We define a notion of Property (T) for an arbitrary $C^*$-algebra $A$ admitting a tracial state. We extend this to a notion of Property (T) for the pair $(A,B),$ where $B$ is a $C^*$-subalgebra of $A.$ Let $\Gamma$ be a discrete group and…

In set theory without the Axiom of Choice (AC), we observe new relations of the following statements with weak choice principles. 1. Every locally finite connected graph has a maximal independent set. 2. Every locally countable connected…

We define a certain finite set in set theory $\{x\mid\varphi(x)\}$ and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set-theoretic universe and it can become successively any…

Given a graph $G$ and a collection $\mathcal C$ of subsets of $\mathbb{R}^d$ indexed by the subsets of vertices of $G$, a constrained drawing of $G$ is a drawing, where each edge is drawn inside some set from $\mathcal C$, in such a way…

Let $\Gamma$ be a discrete countable group acting isometrically on a measurable field $\mathbf{X}$ of CAT(0)-spaces of finite telescopic dimension over some ergodic standard Borel probability $\Gamma$-space $(\Omega,\mu)$. If $\mathbf{X}$…

Let $\Gamma$ be a smooth curve or finite disjoint union of smooth curves in the plane and $\Lambda$ be any subset of the plane. Let $\mathcal X(\Gamma)$ be the space of all finite complex-valued Borel measures in the plane which are…

We strengthen the results of \cite{A1}, consequently, we improve the claims of \cite{A2} obtaining the best possible results. Namely, we prove that if a subgroup $\Gamma $ of $\mathrm{Diff}_{+}(I)$ contains a free semigroup on two…

Starting from an inaccessible cardinal, we construct a model of $ZF+DC$ where there exists a mad family and all sets of reals are $\mathbb Q$-measurable for $\omega^{\omega}$-bounding sufficiently absolute forcing notions $\mathbb Q$.