Related papers: Square-bracket operations clubs
The study of well quasi-orders, wqo, is a cornerstone of combinatorics and within wqo theory Kruskal's theorem plays a crucial role. Extending previous proof-theoretic results, we calculate the $\Pi^1_1$ ordinals of two different versions…
We disprove a well-known conjecture of Boston (2000), which claims that a just-infinite pro-$p$ group is branch if and only if it admits a positive-dimensional embedding in the group of $p$-adic automorphisms. This is obtained as a result…
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…
In the first part of this article we introduce the notion of a backward-forward conditioning (BFC) system that generalises the notion of zero-class admissibiliy introduced in [Xu,Liu,Yung]. We can show that unless the spectum contains a…
We prove that if two topologically free and entropy regular actions of countable sofic groups on compact metrizable spaces are continuously orbit equivalent, and each group either (i) contains a w-normal amenable subgroup which is neither…
We present several equivalent conditions of the continuity of the supremum function from the square of the Scott space of $C(X)$ to itself under mild assumptions, where $C(X)$ denotes the lattice of closed subsets of a $\mathbf{T_0}$…
It is folklore that a power bounded operator on a sequentially complete locally convex space generates a uniformly continuous $C_0$-semigroup which is given by the corresponding power series representation. Recently, Doma\'nski asked if in…
We obtain a sparse domination principle for an arbitrary family of functions $f(x,Q)$, where $x\in {\mathbb R}^n$ and $Q$ is a cube in ${\mathbb R}^n$. When applied to operators, this result recovers our recent works. On the other hand, our…
The AMNM property for commutative Banach algebras is a form of Ulam stability for multiplicative linear functionals. We show that on any semilattice of infinite breadth, one may construct a weight for which the resulting weighted…
In this paper we study the combinatorics of free Borel actions of the group $\mathbb Z^d$ on Polish spaces. Building upon recent work by Chandgotia and Meyerovitch, we introduce property $F$ on $\mathbb Z^d$-shift spaces $X$ under which…
In this paper I will show that it is relatively consistent with the usual axioms of mathematics (ZFC) together with a strong form of the axiom of infinity (the existence of a supercompact cardinal) that the class of uncountable linear…
We show that splitting forcing does not have the weak Sacks property below any condition, answering a question of Laguzzi, Mildenberger and Stuber-Rousselle. We also show how some partition results for splitting trees hold or fail and we…
I provide simplified proofs for each of the following fundamental theorems regarding selection principles: 1. The Quasinormal Convergence Theorem, due to the author and Zdomskyy, asserting that a certain, important property of the space of…
We continue the development of the theory of construction schemes over $\omega_1$ as introduced by the third author by studying their relation with forcing axioms. Formally, we introduce the cardinals $\mathfrak{m}^n_{\mathcal{F}}$ and use…
Let $M$ and $N$ be topological spaces, let $G$ be a group, and let $\tau \colon\thinspace G \times M \to M$ be a proper free action of $G$. In this paper, we define a Borsuk-Ulam-type property for homotopy classes of maps from $M$ to $N$…
For every, possibly unbounded, multiplication operator in $L^p$-space, $p\in ]0,\infty[$, on finite separable measure space we show that multicyclicity, multi-*-cyclicity, and multiplicity coincide. This result includes and generalizes…
We consider a transitive relation on the power set of $\omega_1$ and show if there is a maximal element with respect to this relation then there is a Kurepa tree with no Aronszajn subtree. We also show that if there is a maximal subset of…
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…
Boban Velickovic asked the following question: Is there a nontrivial forcing notion with the Sacks property which is also ccc? A ``definable'' variant of this question has been answered in [Sh:480] (math.LO/9303208): Every nontrivial…
With the help of various square principles, we obtain results concerning the consistency strength of several statements about trees containing ascent paths, special trees, and strong chain conditions. Building on a result that shows that…