Related papers: Square Compactness and the filter extension proper…

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 show, assuming the consistency of one measurable cardinal, that it is consistent for there to be exactly kappa+ many normal measures on the least measurable cardinal kappa. This answers a question of Stewart Baldwin. The methods…

We succeed to say something on the identities of (mu^+, mu) when mu>theta>cf(mu), mu strong limit theta--compact. This hopefully will help to prove the consistency of ``some pair (mu^+,mu) is not compact'', however, this has not been…

Suppose that kappa is a singular cardinal of cofinality omega and GCH holds. Assume that for every n<omega the set of alphas with o(alpha)>= alpha^{+n} is unbounded in kappa.Then there is a cardinal preserving extension satisfying…

We provide a model where u(\kappa) < 2^{\kappa} for a supercompact cardinal \kappa. Garti and Shelah have provided a sketch of how to obtain such a model by modifying the construction in a paper of Dzamonja and Shelah; we provide here a…

The paper gives several sufficient conditions on the paracompactness of box products with an arbitrary number of many factors and boxes of arbitrary size. The former include results on generalised metrisability and Sikorski spaces. Of…

A 27 years old and still open problem of Juhasz and van Mill asks whether there exists a cardinal kappa such that every regular dense in itself countably compact space has a dense in itself subset of cardinality at most kappa. We give a…

We characterize exactly the compactness properties of the product of \kappa\ copies of the space \omega\ with the discrete topology. The characterization involves uniform ultrafilters, infinitary languages, and the existence of nonstandard…

We give a combinatorial characterization of countable submaximal subspaces of $2^\kappa$. Using a parametrized version of Mathias forcing, we prove that there exists a countable submaximal subspace of $2^{\omega_1}$ whilst…

The class of $L\Sigma(\leq\omega)$-spaces was introduced in 2006 by Kubi\'s, Okunev and Szeptycki as a natural refinement of the classical and important notion of Lindel\"of $\Sigma$-spaces. Compact $L\Sigma(\leq\omega)$-spaces were…

Square-kappa-finite, the finite family version of weak square, holds at all cardinals kappa in the Mitchell-Steel inner models.

Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at $\aleph_{\omega_1}$, answering a question of Ben-Neria, Hayut, and Unger: We…

We prove that the upper bounds for the consistency strength of certain instances of mutual stationarity considered by Liu-Shelah~\cite{MR1469093} are close to optimal. We also consider some related and, as it turns out, stronger properties.

If $\kappa$ is regular and $2^{<\kappa}\leq\kappa^+$, then the existence of a weakly presaturated ideal on $\kappa^+$ implies $\square^*_\kappa$. This partially answers a question of Foreman and Magidor about the approachability ideal on…

Hellsten \cite{MR2026390} proved that when $\kappa$ is $\Pi^1_n$-indescribable, the \emph{$n$-club} subsets of $\kappa$ provide a filter base for the $\Pi^1_n$-indescribability ideal, and hence can also be used to give a characterization of…

If kappa is strongly compact, lambda > kappa is regular, then (2^{< lambda})^+ --> (lambda+eta)^2_theta holds for eta,theta<kappa.

For a cardinal $\kappa > \omega$ a metric space $X$ is called to be $\kappa$-superuniversal whenever for every metric space $Y$ with $|Y| < \kappa$ every partial isometry from a subset of $Y$ into $X$ can be extended over the whole space…

An inaccessible cardinal $\kappa$ is supercompact when $(\kappa, \lambda)$-ITP holds for all $\lambda\geq \kappa.$ We prove that if there is a model of $\ZFC$ with two supercompact cardinals, then there is a model of \ZFC where…

We consider a sub-class of the $f$-divergences satisfying a stronger convexity property, which we refer to as strongly convex, or $\kappa$-convex divergences. We derive new and old relationships, based on convexity arguments, between…

We prove that: I. If $L$ is a $T_1$ space, $|L|>1$ and $d(L) \leq \kappa \geq \omega$, then there is a submaximal dense subspace $X$ of $L^{2^\kappa}$ such that $|X|=\Delta(X)=\kappa$; II. If $\frak{c}\leq\kappa=\kappa^\omega<\lambda$ and…