Related papers: A new small Dowker space

We show that all sufficiently nice $\lambda$-sets are countable dense homogeneous ($\mathsf{CDH}$). From this fact we conclude that for every uncountable cardinal $\kappa \le \mathfrak{b}$ there is a countable dense homogeneous metric space…

A compact space $K$ is Radon-Nikod\'{y}m if there is a lower semi-continuous metric fragmenting $K$. In this note, we show that, under $\diamondsuit (\mathrm{non}{\mathcal{M}})$, there is a Radon-Nikod\'{y}m compact space of weight…

It is shown that the existence of a measurable cardinal is equiconsistent to a model of ZFC in which there is no ordinal-definable, stationary, costationary subset of $\omega_1$

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal…

We make the case for the existence of a, hitherto unknown and unobserved, hierarchy of ever more compact cosmic objects in the universe. This hypothesis is based on i) the assumption of "elementary" particle sub-constituents on several…

We prove that for k an uncountable cardinal, there exist 2^k many non homeomorphic weakly compact convex subsets of weight k in the Hilbert space of density k.

String theory suggests the existence of a minimum length scale. An exciting quantum mechanical implication of this feature is a modification of the uncertainty principle. In contrast to the conventional approach, this generalised…

This paper considers "definable cardinalities" arising from Polish group actions. The first part of the paper answers a question of Becker-Kechris by showing that under suitable determinacy assumptions in ZF+DC, every action by a Polish…

In hep-th/0310120, Goheer, Kleban and Susskind argued that the holographic principle is inconsistent with the existence of stable, Lorentz invariant, 1+1 dimensional compactifications. We note some difficulties with their analysis and…

Accessible categories admit a purely category-theoretic replacement for cardinality: the internal size. Generalizing results and methods from arXiv:1708.06782, we examine set-theoretic problems related to internal sizes and prove several…

Under Jensen's diamond principle $\diamondsuit$, we construct a simple Efimov space $K$ whose space of nonatomic probability measures $P_{na}(K)$ is first-countable and sequentially compact. These two properties of $P_{na}(K)$ imply that…

We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging omega-sequence or a non-trivial converging omega_1-sequence. We establish that this dichotomy holds in a variety of models;…

We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by $Loc({\rm ZFC})$, says that every set belongs to a transitive model of ZFC. LZFC consists of $Loc({\rm ZFC})$ plus…

We show that for a Suslin ccc forcing notion $\mathbb Q$ adding a Hechler real, ``$\text{ZF}+\text{DC}_{\omega_1}+$all sets of reals are $I_{\mathbb Q,\aleph_0}$-measurable'' implies the existence of an inner model with a measurable…

We study the class of first-countable Lindel\"of scattered spaces, or "FLS" spaces. While every $T_3$ FLS space is homeomorphic to a scattered subspace of $\mathbb Q$, the class of $T_2$ FLS spaces turns out to be surprisingly rich. Our…

The existence of valuation domains admitting non-standard uniserial modules for which certain Exts do not vanish was proved under Jensen's Diamond Principle. In this note, the same is verified using the ZFC axioms alone.

In this paper, we show that the existence of certain first-countable compact-like extensions is equivalent to the equality between corresponding cardinal characteristics of the continuum. For instance, $\mathfrak b=\mathfrak s=\mathfrak c$…

We study spaces that can be mapped onto the Baire space (i.e. the countable power of the countable discrete space) by a continuous quasi-open bijection. We give a characterization of such spaces in terms of Souslin schemes and call these…

We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…

This work is concerned with ($N$-component) hyperbolic system of balance laws in arbitrary space dimensions. Under entropy dissipative assumption and the Shizuta-Kawashima algebraic condition, a general theory on the well-posedness of…