Related papers: Square-bracket operations clubs
The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the Continuum Hypothesis. This answers a longstanding problem of Shelah. The corresponding completely proper forcing which…
A common approach to the theory of nonlocal Poisson brackets, seen from the operatorial point of view, has been to keep implicit the sets on which these brackets act. In this paper we aim to explicitly define appropriate functional spaces…
We show that (1) If ZF is consistent then the following theory is consistent "ZF + DC(omega_{1}) + Every set of reals has Baire property" and (2) If ZF is consistent then the following theory is consistent "ZFC + `every projective set of…
We consider an {\em enforce operator} on impartial rulesets similar to the Muller Twist and the comply/constrain operator of Smith and St\u anic\u a, 2002. Applied to the rulesets A and B, on each turn the opponent enforces one of the…
The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $\omega_1$-sequence.
Chang's Conjecture (CC) asserts that for every $F:[\omega_2]^{<\omega} \to \omega_2$, there exists an $X$ that is closed under $F$ such that $|X|=\omega_1$ and $|X \cap \omega_1| =\omega$. By classic results of Silver and Donder, CC is…
We show that Ramsey theory, a domain presently conceived to guarantee the existence of large homogeneous sets for partitions on k-tuples of words (for every natural number k) over a finite alphabet, can be extended to one for partitions on…
The aim of this partly expository paper is to present and discuss two classes of sets of integers (Jamison and Kazhdan sets) whose definition and/or properties are determined or inspired by operator-theoretical properties. Jamison sets…
We show that under $\mathsf{ZF} + \mathsf{CC}_{\mathbb R}$, if the Ramsey property holds for all sets in a good pointclass $\Gamma$, then there is no MAD family in $\Gamma$, proving a long-standing conjecture made by A.R.D.\ Mathias in…
Analogues of Ramsey's Theorem for infinite structures such as the rationals or the Rado graph have been known for some time. In this context, one looks for optimal bounds, called degrees, for the number of colors in an isomorphic…
We define a "tracial" analog of the Rokhlin property for actions of second countable compact groups on infinite dimensional simple separable unital C*-algebras. We prove that fixed point algebras under such actions (and, in the appropriate…
Following Laczkovich we consider the partially ordered set $\iB_1(\RR)$ of Baire class 1 functions endowed with the pointwise order, and investigate the order types of the linearly ordered subsets. Answering a question of Komj\'ath and…
In this article we show that the semigroup operation of a strictly linearly ordered semigroup on a real interval is automatically continuous if each element of the semigroup admits a square root. Hence, by a result of Acz\'el, such a…
Since being isolated by Viale and Weiss in 2009, the Guessing Model Property has emerged as a particularly prominent and powerful consequence of the Proper Forcing Axiom. In this paper, we investigate connections between variations of the…
Assuming the existence of a strong cardinal and a measurable cardinal above it, we construct a model of $ZFC$ in which for every singular cardinal $\delta$, $\delta$ is strong limit, $2^\delta=\delta^{+3}$ and the tree property at…
We prove that for every Aronzsajn line A and every Countryman line C, there is a proper forcing extension in which A contains an isomorphic copy of either C or its converse C*. As a corollary, we obtain answers to several related questions…
The principle of open determinacy for class games---two-player games of perfect information with plays of length $\omega$, where the moves are chosen from a possibly proper class, such as games on the ordinals---is not provable in…
We consider the algebra of square matrices of bounded non-commutative (NC) functions over NC operator unit balls (unit balls corresponding to finite-dimensional operator spaces) and characterize cyclic matrix free polynomials with respect…
In 1957 Cartan proved his celebrated Theorem B and deduced that if $\Omega\subset{\mathbb R}^n$ is an open set and $X$ is a coherent real analytic subset of $\Omega$, then $X$ has the analytic extension property: Each real analytic function…
We construct a model of set theory in which there exists a Suslin tree and satisfies that any two normal Aronszajn trees, neither of which contains a Suslin subtree, are club isomorphic. We also show that if $S$ is a free normal Suslin…