Related papers: Square-bracket operations clubs

A first-order structure $M$ is said to have the infinite sunflower property if, for each $k \in \mathbb{N}_+$ and each structure $M' \cong M$ whose elements are $k$-sets, there is $S \subseteq M'$, $S \cong M$, such that $S$ is a sunflower:…

A topological group G is defined to have property (OB) if any G-action by isometries on a metric space, which is separately continuous, has bounded orbits. We study this topological analogue of the socalled Bergman property in the context…

Henle, Mathias, and Woodin proved that, provided that $\omega\rightarrow(\omega)^{\omega}$ holds in a model $M$ of ZF, then forcing with $([\omega]^{\omega},\subseteq^*)$ over $M$ adds no new sets of ordinals, thus earning the name a…

It is well known that pretameness implies the forcing theorem, and that pretameness is characterized by the preservation of the axioms of $\mathsf{ZF}^-$, that is $\mathsf{ZF}$ without the power set axiom, or equivalently, by the…

We prove that $\omega$-regular languages accepted by B\"uchi or Muller automata satisfy an effective automata-theoretic version of the Baire property. Then we use this result to obtain a new effective property of rational functions over…

Ramsey theory for words over a finite alphabet was unified in the work of Carlson and Furstenberg-Katznelson. Carlson, in the same work, outlined a method to extend the theory for words over an infinite alphabet, but subject to a fixed…

Let $X_1,\dots,X_n$ be operators in a finite von Neumann algebra and consider their division closure in the affiliated unbounded operators. We address the question when this division closure is a skew field (aka division ring) and when it…

For a closed densely defined operator $T$ from a Hilbert space $\mathfrak{H}$ to a Hilbert space $\mathfrak{K}$, necessary and sufficient conditions are established for the factorization of $T$ with a bounded nonnegative operator $X$ on…

The Axiom of Choice (AC for short) is the most (in)famous axiom of the usual foundations of mathematics, ZFC set theory. The (non-)essential use of AC in mathematics has been well-studied and thoroughly classified. Now, fragments of…

I introduce a new family of axioms extending ZFC set theory, the $\Sigma_n$-correct forcing axioms. These assert roughly that whenever a forcing name $\dot{a}$ can be forced by a poset in some forcing class $\Gamma$ to have some $\Sigma_n$…

In superstring theory of type II, the separated brane-antibrane pair admits a bi-fundamental tachyon in its open string spectrum, for any separation less than the critical distance. The dynamics of this system would be described by the…

We give a physicist oriented survey of Poisson-Lie symmetries of classical systems. We consider finite dimensional geometric actions and the chiral WZNW model as examples for the general construction. An essential point is that quadratic…

We propose a generalisation of the congruence subgroup problem for groups acting on rooted trees. Instead of only comparing the profinite completion to that given by level stabilizers, we also compare pro-$\mathcal{C}$ completions of the…

For locally convex spaces $X$ and $Y$, the continuous linear map $T:X \to Y$ is called bounded if there is a zero neighborhood $U$ of $X$ such that $T(U)$ is bounded in $Y$. Our main result is that the existence of an unbounded operator $T$…

Consider a countable amenable group acting by homeomorphisms on a compact metrizable space. Chung and Li asked if expansiveness and positive entropy of the action imply existence of an off-diagonal asymptotic pair. For algebraic actions of…

We supplement the string field theory action with boundary terms to make its variational principle well-posed. Central to our considerations is the violation of the stress-energy tensor conservation in non-compact CFTs due to the boundary…

We show that if the Ramsey property holds (in a class of sets), then there is no MAD family (in this class, provided it satisfies some modest closure properties), proving a conjecture made by A.R.D.\ Mathias in 1977. As the technique we…

We show that if a group $G$ acting faithfully on a rooted tree $T$ has a free subgroup, then either there exists a point $w$ of the boundary $\partial T$ and a free subgroup of $G$ with trivial stabilizer of $w$, or there exists…

One of the major problems in the structural theory of skew braces consists in the classification of skew braces of finite order up to isomorphism. In this light, the open question of the existence of a Cauchy theorem for finite skew braces…

Assuming the P-ideal dichotomy, we attempt to isolate those cardinal characteristics of the continuum that are correlated with two well-known consequences of the proper forcing axiom. We find a cardinal invariant $\mathfrak{x}$ such that…