English
Related papers

Related papers: On the cardinality of separable pseudoradial space…

200 papers

We provide analogues of the results from [FMR11, CMMR13] in the reference list (which correspond to the case $\kappa = \omega$) for arbitrary $\kappa$-Souslin quasi-orders on any Polish space, for $\kappa$ an infinite cardinal smaller than…

Logic · Mathematics 2019-03-19 Alessandro Andretta , Luca Motto Ros

The Hausdorff-Alexandroff Theorem states that any compact metric space is the continuous image of Cantor's ternary set $C$. It is well known that there are compact Hausdorff spaces of cardinality equal to that of $C$ that are not continuous…

Dynamical Systems · Mathematics 2017-10-24 Fabian Dreher , Tony Samuel

Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{<\mathfrak c=\mathfrak c$})…

Functional Analysis · Mathematics 2012-07-13 Jose Luis Gamez-Merino , Juan B. Seoane-Sepulveda

We show a necessary and sufficient condition for any ordinal number to be a Polish space. We also prove that for each countable Polish space, there exists a countable ordinal number that is an upper bound for the first component of the…

General Mathematics · Mathematics 2024-04-12 Borys Álvarez-Samaniego , Andrés Merino

We demonstrate that the technology of Radin forcing can be used to transfer compactness properties at a weakly inaccessible but not strong limit cardinal to a strongly inaccessible cardinal. As an application, relative to the existence of…

Logic · Mathematics 2024-04-29 Tom Benhamou , Jing Zhang

We consider the partition lattice $\Pi_\kappa$ on any set of transfinite cardinality $\kappa$ and properties of $\Pi_\kappa$ whose analogues do not hold for finite cardinalities. Assuming the Axiom of Choice we prove: (I) the cardinality of…

Rings and Algebras · Mathematics 2017-02-16 James Emil Avery , Jean-Yves Moyen , Pavel Ruzicka , Jakob Grue Simonsen

Can a supercompact cardinal kappa be Laver indestructible when there is a level-by-level agreement between strong compactness and supercompactness? In this article, we show that if there is a sufficiently large cardinal above kappa, then…

Logic · Mathematics 2007-05-23 Arthur W. Apter , Joel David Hamkins

We prove that several classical Banach space properties are equivalent to separability for the class of Lipschitz-free spaces, including Corson's property ($\mathcal{C}$), Talponen's Countable Separation Property, or being a G\^ateaux…

Functional Analysis · Mathematics 2024-04-08 Ramón J. Aliaga , Guillaume Grelier , Antonín Procházka

Assuming that $GCH$ holds and $\kappa$ is $\kappa^{+3}$-supercompact, we construct a generic extension $W$ of $V$ in which $\kappa$ remains strongly inaccessible and $(\alpha^+)^{HOD} < \alpha^+$ for every infinite cardinal $\alpha <…

Logic · Mathematics 2016-01-15 James Cummings , Sy David Friedman , Mohammad Golshani

We investigate the behavior of cardinal characteristics of the reals under extensions that do not add new ${<}\kappa$-sequences (for some regular $\kappa$). As an application, we show that consistently the following cardinal characteristics…

Logic · Mathematics 2021-05-18 Martin Goldstern , Jakob Kellner , Diego A. Mejía , Saharon Shelah

Let us denote by $\Phi(\lambda,\mu)$ the statement that $\mathbb{B}(\lambda) = D(\lambda)^\omega$, i.e. the Baire space of weight $\lambda$, has a coloring with $\mu$ colors such that every homeomorphic copy of the Cantor set $\mathbb{C}$…

General Topology · Mathematics 2017-11-15 István Juhász , Lajos Soukup , Zoltán Szentmiklóssy

Assume ZFC. Let $\kappa$ be a cardinal. A ${<\kappa}$-ground is a transitive proper class $W$ modelling ZFC and such that $V$ is a generic extension of $W$ via a forcing $\mathbb{P}\in W$ of cardinality ${<\kappa}$. The $\kappa$-mantle is…

Logic · Mathematics 2020-12-22 Farmer Schlutzenberg

We introduce a ZFC method that enables us to build spaces (in fact special dense subspaces of certain Cantor cubes) in which we have "full control" over all dense subsets. Using this method we are able to construct, in ZFC, for each…

General Topology · Mathematics 2007-05-23 Istvan Juhasz , Lajos Soukup , Zoltan Szentmiklossy

A space $X$ is said to be $\kappa$-resolvable (resp. almost $\kappa$-resolvable) if it contains $\kappa$ dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets). $X$ is maximally resolvable iff…

General Topology · Mathematics 2007-05-23 Istvan Juhasz , Lajos Soukup , Zoltan Szentmiklossy

We introduce the decomposability spectrum $K_D=\{\lambda \geq \omega| D \text{is} \lambda\text{-decomposable}\}$ of an ultrafilter $D$, and show that Shelah's $\pcf$ theory influences the possible values $K_D$ can take. For example, we show…

Logic · Mathematics 2007-05-23 Paolo Lipparini

Say that a cardinal number $\kappa$ is \emph{small} relative to the space $X$ if $\kappa <\Delta(X)$, where $\Delta(X)$ is the least cardinality of a non-empty open set in $X$. We prove that no Baire metric space can be covered by a small…

General Topology · Mathematics 2010-07-02 Santi Spadaro

For $X$ a separable metric space define $\pp(X)$ to be the smallest cardinality of a subset $Z$ of $X$ which is not a relative $\ga$-set in $X$, i.e., there exists an $\om$-cover of $X$ with no $\ga$-subcover of $Z$. We give a…

Logic · Mathematics 2007-05-23 Arnold W. Miller

We prove the consistency of the theory ZFC + there is a strongly compact cardinal from the existence of a cardinal preserving embedding from the universe into an inner model. The proof almost shows that under SCH, every cardinal preserving…

Logic · Mathematics 2021-03-02 Gabriel Goldberg

We investigate the possibilities of global versions of Chang's Conjecture that involve singular cardinals. We show some $\mathrm{ZFC}$ limitations on such principles, and prove relative to large cardinals that Chang's Conjecture can…

Logic · Mathematics 2021-03-08 Monroe Eskew , Yair Hayut

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…

Logic · Mathematics 2025-01-03 Connor Watson