Related papers: CH and the Moore-Mrowka Problem

The continuity problem, i.e., the question whether effective maps between effectively given topological spaces are effectively continuous, is reconsidered. In earlier work it was shown that this is always the case, if the effective map also…

The primary goal of this paper is to establish a model of $ZFC$ wherein the definable tree property is affirmed for all uncountable regular cardinals. This endeavor commences with the utilization of both a supercompact cardinal and a…

We study the question of when an uncountable ccc topological space $X$ contains a ccc subspace of size $\aleph_1$. We show that it does if $X$ is compact Hausdorff and more generally if $X$ is Hausdorff with $\mathrm{pct}(X) \leq \aleph_1$.…

Relative to class many supercompact cardinals, we construct a model of $\ZFC+\GCH$ where for every singular cardinal $\delta$ of countable cofinality and every regular uncountable $\mu<\delta$ there are stationarily many non-approachable…

We are interested in the uniqueness of solutions to Maxwell's equations when the magnetic permeability $\mu$ and the permittivity $\varepsilon$ are symmetric positive definite matrix-valued functions in $\mathbb{R}^{3}$. We show that a…

In this paper we propose a weaker version of Penrose's much heeded Strong Cosmic Censorship (SCC) conjecture, asserting inextentability of maximal Cauchy developments by manifolds with Lipschitz continuous Lorentzian metrics and Riemann…

If $C \subset P^3_k$ is an integral curve and $k$ an algebraically closed field of characteristic 0, it is known that the points of the general plane section $C \cap H$ of $C$ are in uniform position. From this it follows easily that the…

Let $X$ and $Y$ be topological spaces, let $Z$ be a metric space, and let $f: X\times Y\to Z$ be a mapping. It is shown that when $Y$ has a countable base $\mathcal B$, then under a rather general condition on the set-valued mappings $X\ni…

We show that there is a compact topological space carrying a measure which is not a weak* limit of finitely supported measures but is in the sequential closure of the set of such measures. We construct compact spaces with measures of…

Using a dictionary translating a variety of classical and modern covering properties into combinatorial properties of continuous images, we get a simple way to understand the interrelations between these properties in ZFC and in the realm…

We characterize all compact and Hausdorff spaces $X$ which satisfy that for every multiplicative bijection $\phi$ on $C(X, I)$, there exist a homeomorphism $\mu : X \to X$ and a continuous map $p: X \to (0, +\infty)$ such that $$\phi (f)…

A Cech closure space $(X,u)$ is a set $X$ with a (Cech) closure operator $u$ which need not be idempotent. Many properties which hold in topological spaces hold in Cech closure spaces as well. The notions of proper (splitting) and…

Assuming the generalized continuum hypothesis we construct arbitrarily big indecomposable Banach spaces. i.e., such that whenever they are decomposed as $X\oplus Y$, then one of the closed subspaces $X$ or $Y$ must be finite dimensional. It…

The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…

We continue to investigate various diagonalization properties for sequences of open covers of separable metrizable spaces introduced in Part I. These properties generalize classical ones of Rothberger, Menger, Hurewicz, and Gerlits-Nagy. In…

For a countable, weakly minimal theory, we show that the Schroeder-Bernstein property (any two elementarily bi-embeddable models are isomorphic) is equivalent to both a condition on orbits of rank 1 types and the property that the theory…

We give a construction under $CH$ of a non-metrizable compact Hausdorff space $K$ such that any uncountable semi-biorthogonal sequence in $C(K)$ must be of a very specific kind. The space $K$ has many nice properties, such as being…

Suppose G is a topological group containing a (closed) topological copy of the Frechet-Urysohn fan. If G is a perfectly normal sequential space (a normal k-space) then every closed metrizable subset in $G$ is locally compact. Applying this…

P.J. Nyikos has asked whether it is consistent that every hereditarily normal manifold of dimension > 1 is metrizable, and proved it is if one assumes the consistency of a supercompact cardinal, and, in addition, that the manifold is…

We prove the Hilbert-Chow crepant resolution conjecture in the exceptional curve classes for all projective surfaces and all genera. In particular, this confirms Ruan's cohomological Hilbert-Chow crepant resolution conjecture. The proof…