English
Related papers

Related papers: Indestructibility of compact spaces

200 papers

We prove that for each locally $\alpha$-presentable category $\mathcal K$ there exists a regular cardinal $\gamma$ such that any $\alpha$-accessible functor out of $\mathcal K$ (into another locally $\alpha$-presentable category) is…

Category Theory · Mathematics 2022-04-01 Giacomo Tendas

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 prove two ZFC theorems about cardinal invariants above the continuum which are in sharp contrast to well-known facts about these same invariants at the continuum. It is shown that for an uncountable regular cardinal $\kappa$,…

Logic · Mathematics 2018-01-30 Dilip Raghavan , Saharon Shelah

In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question…

Logic · Mathematics 2022-11-09 Marco Abbadini

We show that the forcing axiom for countably compact, $\omega_2$-Knaster, well-met posets is inconsistent. This is supplemental to an inconsistency result of Shelah and sets a new limit to the generalization of Martin's Axiom to the stage…

Logic · Mathematics 2020-08-05 Stevo Todorčević , Shihao Xiong

We introduce combinatorial principles that characterize strong compactness and supercompactness for inaccessible cardinals but also make sense for successor cardinals. Their consistency is established from what is supposedly optimal.…

Logic · Mathematics 2010-12-10 Christoph Weiß

We use forcing over admissible sets to show that, for every ordinal $\alpha$ in a club $C\subset\omega_1$, there are copies of $\alpha$ such that the isomorphism between them is not computable in the join of the complete $\Pi^1_1$ set…

Logic · Mathematics 2024-08-21 Noah Schweber

In this paper we study the Borel reducibility of Borel equivalence relations, including some orbit equivalence relations, on the generalised Baire space $\kappa^\kappa$ for an uncountable $\kappa$ with the property…

Logic · Mathematics 2014-08-20 Sy-David Friedman , Tapani Hyttinen , Vadim Kulikov

We prove that under [CH], finite compactifications of $\omega^* \setminus \{x\}$ are homeomorphic to $\omega^*$. Moreover, in each case, the remainder consists almost exclusively of $P$-points, apart from possibly one point. Similar results…

General Topology · Mathematics 2013-11-22 Max. F. Pitz , Rolf Suabedissen

We give a new proof that there are arbitrarily large indecomposable abelian groups; moreover, the groups constructed are absolutely indecomposable, that is, they remain indecomposable in any generic extension. However, any absolutely rigid…

Logic · Mathematics 2007-05-23 Paul C. Eklof , Saharon Shelah

We introduce and investigate a class of non-separable tree-like Banach spaces. As a consequence, we prove that we can not achieve a satisfactory extension of Rosenthal's $\ell_1$-theorem to spaces of the type $\ell_1(\kappa)$, for $\kappa$…

Functional Analysis · Mathematics 2012-10-03 Costas Poulios

We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply…

Logic · Mathematics 2015-03-27 Su Gao , Steve Jackson , Edward Krohne , Brandon Seward

We prove that each metrizable space (of cardinality less or equal to continuum) has a (first countable) uniform Eberlein compactification and each scattered metrizable space has a scattered hereditarily paracompact compactification. Each…

General Topology · Mathematics 2012-12-19 Taras Banakh , Arkady Leiderman

We apply the theory of infinite two-person games to two well-known problems in topology: Suslin's Problem and Arhangel'skii's problem on $G_\delta$ covers of compact spaces. More specifically, we prove results of which the following two are…

General Topology · Mathematics 2015-07-09 Santi Spadaro

The classical result of Landau on the existence of kings in finite tournaments (=finite directed complete graphs) is extended to continuous tournaments for which the set X of players is a compact Hausdorff space. The following partial…

General Topology · Mathematics 2016-03-25 Masato Nagao , Dmitri Shakhmatov

Let $\Gamma$ be a countable group. A classical theorem of Thorisson states that if $X$ is a standard Borel $\Gamma$-space and $\mu$ and $\nu$ are Borel probability measures on $X$ which agree on every $\Gamma$-invariant subset, then $\mu$…

Logic · Mathematics 2021-02-16 Forte Shinko

An open question of Gruenhage asks if all strategically selectively separable spaces are Markov selectively separable, a game-theoretic statement known to hold for countable spaces. As a corollary of a result by Berner and Juh$\acute{a}$sz,…

General Topology · Mathematics 2019-07-12 Steven Clontz , Alexander V. Osipov

We answer a question of Woodin by showing that assuming an inaccessible cardinal $\kappa$ which is a limit of ${<}\kappa$-supercompact cardinals exists, there is a stationary set preserving forcing $\mathbb{P}$ so that $V^{\mathbb…

Logic · Mathematics 2024-03-15 Andreas Lietz

The class of Hausdorff spaces that are continuous images of compact orderable spaces is studied by analyzing the relationship between the elements of this class and compact orderable spaces in a back-and-forth fashion. Structure results for…

General Topology · Mathematics 2016-11-15 Ahmad Farhat

We extend A. Miller's framework of $\alpha$-forcing to the case of a regular uncountable cardinal $\kappa = \kappa^{<\kappa}$ and apply it to study the structure of the $\kappa$-Borel hierarchy on subspaces of the generalized Baire space…

Logic · Mathematics 2026-03-10 Nick Chapman