Related papers: Resolvability and monotone normality

We prove that, for an arbitrary topological space $X$, the following two conditions are equivalent: (a) Every open cover of $X$ has a finite subset with dense union (b) $X$ is $D$-pseudocompact, for every ultrafilter $D$. Locally, our…

A topological space $X$ is called resolvable if it contains a dense subset with dense complement. Using only basic principles, we show that whenever the space $X$ has a resolving subset that can be written as an at most countably infinite…

For a non-compact metrizable space $X$, let ${\mathcal E}(X)$ be the set of all one-point metrizable extensions of $X$, and when $X$ is locally compact, let ${\mathcal E}_K(X)$ denote the set of all locally compact elements of ${\mathcal…

In the absence of the Axiom of Choice, the "small" cardinal $\omega_1$ can exhibit properties more usually associated with large cardinals, such as strong compactness and supercompactness. For a local version of strong compactness, we say…

We prove that the existence of a complete metric space of cardinality at most $2^{\kappa}$ admitting Kuratowski partition is a consequence of $\kappa$ being the smallest real-valued measurable cardinal not greater than $ 2^{\aleph_0}$.

For any set $X$, ${\mathcal P}(X)$ denotes the collection of all subsets of $X$, ordered by inclusion. A {\it cutset} in ${\mathcal P}(X)$ is a subset of ${\mathcal P}(X)$ which meets every maximal chain of ${\mathcal P}(X)$. A cutset is…

Introducing unfoldable cardinals last year, Andres Villaveces ingeniously extended the notion of weak compactness to a larger context, thereby producing a large cardinal notion, unfoldability, with some of the feel and flavor of weak…

We mainly introduce some weak versions of the $M_{1}$-spaces, and study some properties about these spaces. The mainly results are that: (1) If $X$ is a compact scattered space and $i(X)\leq 3$, then $X$ is an $s$-$m_{1}$-space; (2) If $X$…

An ideal $I$ on a cardinal $\kappa$ is called \emph{rigid} if all automorphisms of $P(\kappa)/I$ are trivial. An ideal is called \emph{$\mu$-minimal} if whenever $G\subseteq P(\kappa)/I$ is generic and $X\in P(\mu)^{V[G]}\setminus V$, it…

We solve a long standing question due to Arhangel'skii by constructing a compact space which has a $G_\delta$ cover with no continuum-sized ($G_\delta$)-dense subcollection. We also prove that in a countably compact weakly Lindel\"of normal…

Let $(X,\Delta)$ be a log canonical pair over $\mathbb{C}$ with $X$ a normal projective variety, $\Delta$ an effective $\mathbb{Q}$-divisor, and $K_X+\Delta$ nef. We give a non-vanishing criterion for $K_X+\Delta$ in dimension $n$ with $X$…

A set-system $X$ is a $(\lambda, \kappa,\mu)$-system iff $|X|=\lambda$, $|x|=\kappa$ for each $x\in X$, and $X$ is $\mu$-almost disjoint. We write $[\lambda, \kappa, \mu] -> \rho$ iff every $(\lambda, \kappa,\mu)$-system has a "conflict…

A ccc-generically supercompact cardinal $\kappa$ can be smaller than or equal to the continuum. On the other hand, such a cardinal $\kappa$ still satisfies diverse largeness properties, like that it is a stationary limit of ccc-generically…

This paper defines a Mitchell rank for supercompact cardinals. If $\kappa$ is a $\theta$-supercompact cardinal then $o_{\theta-sc}(\kappa) = \sup \{ o_{\theta-sc}(\mu) + 1 \ | \ \mu \in m(\kappa)\}$, where $m(\kappa)$ is the collection of…

Let $X$ be a set of cardinality $\kappa$ such that $\kappa^\omega=\kappa$. We prove that the linear algebra $\mathbb{R}^X$ (or $\mathbb{C}^X$) contains a free linear algebra with $2^\kappa$ generators. Using this, we prove several…

We investigate states on von Neumann algebras which are not normal but enjoy various forms of infinite additivity, and show that these exist on $B(H)$ if and only if the cardinality of an orthonormal basis of $H$ satisfies various large…

For a metrizable space $X$ and a finite measure space $(\Omega,\mathfrak{M},\mu)$ let $M_{\mu}(X)$ and $M^f_{\mu}(X)$ be the spaces of all equivalence classes (under the relation of equality almost everywhere mod $\mu$) of…

As it was introduced by Tkachuk and Wilson, a topological space $X$ is cellular-compact if given any cellular, i.e. disjoint, family $\mathcal U$ of non-empty open subsets of $X$ there is a compact subspace $K\subset X$ such that $K\cap…

We show that the $k$-nearest neighbour learning rule is universally consistent in a metric space $X$ if and only if it is universally consistent in every separable subspace of $X$ and the density of $X$ is less than every real-measurable…

It is well-known that the consistency strength of the GCH failing at a measurable cardinal is the existence of a cardinal $\kappa$ with $o(\kappa)=\kappa^{++}$. As the literature does not contain more than a proof sketch of the lower bound…