Related papers: Weak covering and the tree property
Answering a question of Ketonen from the late 1970's, it is proved that a weakly compact cardinal carrying an indecomposable ultrafilter need not be measurable. The result is obtained by analyzing the limit of a decreasing sequence of…
The weak-strong uniqueness of solutions to a broad class of cross-diffusion systems with volume filling is established. In general, the diffusion matrices are neither symmetric nor positive definite. This issue is overcome by supposing that…
No convenient internal characterization of spaces that are productively Lindelof is known. Perhaps the best general result known is Alster's internal characterization, under the Continuum Hypothesis, of productively Lindelof spaces which…
In this paper, we introduce a very weak square principle which is even weaker than the similar principle introduced by Foreman and Magidor. A characterization of this principle is given in term of sequences of elementary submodels of…
Motivated by the goal of constructing a model in which there are no $\kappa$-Aronszajn trees for any regular $\kappa>\aleph_1$, we produce a model with many singular cardinals where both the singular cardinals hypothesis and weak square…
Let $\mathbb{B}$ be a complete Boolean algebra. We show, as an application of a previous result of the author, that if $\lambda$ is an infinite cardinal and $\mathbb{B}$ is weakly $(\lambda^\omega, \omega)$-distributive, then $\mathbb{B}$…
We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible…
We show that if the weak compactness of a cardinal is made indestructible by means of any preparatory forcing of a certain general type, including any forcing naively resembling the Laver preparation, then the cardinal was originally…
Based on the concept of weakly meet $s_{Z}$-continuouity put forward by Xu and Luo in \cite{qzm}, we further prove that if the subset system $Z$ satisfies certain conditions, a poset is $s_{Z}$-continuous if and only if it is weakly meet…
Firstly, we prove that every closed subgroup $H$ of type-preserving automorphisms of a locally finite thick affine building $\Delta$ of dimension $\geq 2$ that acts strongly transitively on $\Delta$ is Moufang. If moreover $\Delta$ is…
Dynamical compactness with respect to a family as a new concept of chaoticity of a dynamical system was introduced and discussed in [22]. In this paper we continue to investigate this notion. In particular, we prove that all dynamical…
We show that under the assumption of the existence of the canonical inner model with one Woodin cardinal $M_1$, there is a model of $\ZFC$ in which $\NS$ is $\aleph_2$-saturated and $\Delta_1$-definable with $\omega_1$ as a parameter which…
Motivated by results of Juh\'asz and van Mill in [13], we define the cardinal invariant $wt(X)$, the weak tightness of a topological space $X$, and show that $|X|\leq 2^{L(X)wt(X)\psi(X)}$ for any Hausdorff space $X$ (Theorem 2.8). As…
We provide a constructive characterization of the trees for which the Roman domination number strongly equals the weak Roman domination number, that is, for which every weak Roman dominating function of minimum weight is a Roman dominating…
We prove two $\mathrm{ZFC}$ inequalities between cardinal invariants. The first inequality involves cardinal invariants associated with an analytic P-ideal, in particular the ideal of subsets of $\omega$ of asymptotic density $0$. We obtain…
We show that square(theta) implies that there is a first countable <theta-collectionwise Hausdorff space that is not weakly theta-collectionwise Hausdorff. We also show that in the model obtained by Levy collapsing a weakly compact…
In this paper, we characterize the possible cofinalities of the least $\lambda$-strongly compact cardinal. We show that, on the one hand, for any regular cardinal, $\delta$, that carries a $\lambda$-complete uniform ultrafilter, it is…
We show that if the existence of a supercompact cardinal $\kappa$ with a weakly compact cardinal $\lambda$ above $\kappa$ is consistent, then the following are consistent as well (where $\mathfrak{t}(\kappa)$ and $\mathfrak{u}(\kappa)$ are…
The current paper answers an open question of abs/1007.2426 We say that a countable model M characterizes an infinite cardinal kappa, if the Scott sentence of M has a model in cardinality kappa, but no models in cardinality kappa plus. If M…
The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…