Related papers: Weak square and stationary reflection
Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…
The stable Ramsey's theorem for pairs has been the subject of numerous investigations in mathematical logic. We introduce a weaker form of it by restricting from the class of all stable colorings to subclasses of it that are non-null in a…
The preservation theorems for semi-properness, hemi-properness, and pseudo-completeness hold for countable support iterations as well as revised countable support iterations, notwithstanding the fact that the "factor lemma" fails for the…
We prove inequalities involving noncommutative differentially subordinate martingales. More precisely, we prove that if $x$ is a self-adjoint noncommutative martingale and $y$ is weakly differentially subordinate to $x$ then $y$ admits a…
We give a simple, elementary proof that a uniform algebra is weakly sequentially complete if and only if it is finite-dimensional.
We look for a parallel to the notion of ``proper forcing'' among lambda-complete forcing notions not collapsing lambda^+ . We suggest such a definition and prove that it is preserved by suitable iterations.
Square-kappa-finite, the finite family version of weak square, holds at all cardinals kappa in the Mitchell-Steel inner models.
In earlier work of the second and third author the equivalence of a finite square principle square^fin_{lambda,D} with various model theoretic properties of structures of size lambda and regular ultrafilters was established. In this paper…
The paper is devoted to the convex-set counterpart of the theory of weak$^*$ derived sets initiated by Banach and Mazurkiewicz for subspaces. The main result is the following: For every nonreflexive Banach space $X$ and every countable…
We propose a generalisation of the Weak Gravity Conjecture in the presence of scalar fields. The proposal is guided by properties of extremal black holes in ${\cal N}=2$ supergravity, but can be understood more generally in terms of…
A cardinal kappa is countably closed if mu^omega < kappa whenever mu < kappa. Assume that there is no inner model with a Woodin cardinal and that every set has a sharp. Let K be the core model. Assume that kappa is a countably closed…
Let $\mathsf{MM}^{++}(\kappa)$ state that the forcing axiom $\mathsf{MM}^{++}$ can be instantiated only for stationary set preserving posets of size at most $\kappa$. We give a detailed account of Asper\`o and Schindler's proof that…
We argue that the spectrally cut-off Gaussian free field $\Phi_\Lambda$ on a compact Riemannian manifold or on $\mathbb{R}^n$ cannot satisfy the spatial Markov property. Moreover, when the manifold is reflection positive, we show that…
Existence, non-existence, and uniqueness of mass-conserving weak solutions to the continuous collision-induced nonlinear fragmentation equations are established for the collision kernels $\Phi$ satisfying $\Phi(x_1,x_2)={x_1}^{\lambda_1}…
We consider a long range scalar force that mainly couples to dark matter and unstable Standard Model states, like the muon, with tiny strength. Probing this type of force would present a challenge to observations. We point out that the…
This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering…
The concepts of closed unbounded (club) and stationary sets are generalised to $\gamma$-club and $\gamma$-stationary sets, which are closely related to stationary reflection. We use these notions to define generalisations of Jensen's…
Let $R$ be a commutative Noetherian ring, $\fa$ be an ideal of $R$ and $M$ be an $R$-module. The main purpose of this paper is to answer the Hartshorn's questions in the class of weakly Laskerian modules. It is shown that if $s\geq 1$ is a…
It is shown that if $C$ is a nonempty convex and weakly compact subset of a Banach space $X$ with $M(X)>1$ and $T:C\rightarrow C$ satisfies condition $(C)$ or is continuous and satisfies condition $(C_{\lambda})$ for some $\lambda \in…
In this presentation, I argue that weak measurements empirically support the notion of quantum superpositions as statistical alternatives. In short, weak measurements show that Schroedinger's cat is already dead or alive before the…