English
Related papers

Related papers: On the cofinality of the least $\lambda$-strongly …

200 papers

For an abstract elementary class $\mathbf{K}$ and a cardinal $\lambda \geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $\lambda^+$-minimal types and…

Logic · Mathematics 2024-09-06 Marcos Mazari-Armida , Sebastien Vasey , Wentao Yang

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…

Logic · Mathematics 2007-05-23 Joel David Hamkins

We continue the investigations in the author's book on cardinal arithmetic, assuming some knowledge of it. We deal with the cofinality of (S_{<= aleph_0}(kappa), subseteq) for kappa real valued measurable (Section 3), densities of box…

Logic · Mathematics 2016-09-06 Saharon Shelah

Extending a result of R. de la Vega, we prove that an infinite homogeneous compactum has cardinality $\mathfrak{c}$ if either it is the union of countably many dense or finitely many arbitrary countably tight subspaces. The question if…

General Topology · Mathematics 2016-07-05 István Juhász , Jan van Mill

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…

Logic · Mathematics 2026-02-11 Erin Carmody

We show that the consistency of $\mathrm{ZF} + \mathrm{AD}_{\mathbb{R}} + ``\Theta$ is measurable$"$ implies the consistency of $\mathrm{ZF} +``\Theta$ is the least strongly regular cardinal and the least measurable cardinal$"$ + $``$all…

Logic · Mathematics 2026-03-11 Rahman Mohammadpour , Otto Rajala , Sebastiano Thei

We study saturation properties of $\sigma$-complete measures on $P_\kappa(\lambda)$, where $\lambda$ can be either regular or singular. In particular, we prove that in contrast to Galvin's theorem, the Galvin property of…

Logic · Mathematics 2025-10-10 Tom Benhamou , Ben-Zion Weltsch

We prove a revised version of Laver's indestructibility theorem which slightly improves over the classical result. An application yields the consistency of $(\kappa^+,\kappa)\notcc(\aleph\_1,\aleph\_0)$ when $\kappa$ is supercompact. The…

Logic · Mathematics 2007-05-23 Bernhard Koenig

We prove some consistency results about b(lambda) and d(lambda), which are natural generalisations of the cardinal invariants of the continuum b and d. We also define invariants b_cl(lambda) and d_cl(lambda), and prove that almost always…

Logic · Mathematics 2016-09-06 James Cummings , Saharon Shelah

We prove that if $\lambda$ is a fixed uncountable cardinal and $f = \langle \ka_{\al} : \al < \delta \rangle$ is a sequence of infinite cardinals where $\delta < \omega_3$ and $\ka_{\al}\in \{\om,\lambda\}$ for each $\al < \delta$ in such a…

Logic · Mathematics 2025-12-02 Juan Carlos Martínez , Lajos Soukup

In their paper from 1981, Milner and Sauer conjectured that for any poset P, if cf(P)=lambda>cf(lambda)=kappa, then P must contain an antichain of size kappa. We prove that for lambda>cf(lambda)=kappa, if there exists a cardinal mu<lambda…

Logic · Mathematics 2007-05-23 Assaf Rinot

We find many conditions equivalent to the model-theoretical property $\lambda \stackrel{\kappa}{\Rightarrow} \mu$ introduced in [L1]. Our conditions involve uniformity of ultrafilters, compactness properties of products of topological…

Logic · Mathematics 2008-04-10 Paolo Lipparini

In this paper we are interested in finding and evaluating cardinal characteristics of the continuum that appear in large-scale topology, usually as the smallest weights of coarse structures that belong to certain classes (indiscrete,…

Logic · Mathematics 2021-10-19 Taras Banakh

In \cite{Chaber}, Chaber has proved that countably compact spaces with a quasi $G_{\delta }$-diagonal are compact. We prove that initially $\kappa $% -compact spaces with a quasi $G_{\kappa }$-diagonal are compact, for any infinite cardinal…

General Topology · Mathematics 2017-05-02 Çetin Vural

We present two different types of models where, for certain singular cardinals lambda of uncountable cofinality, lambda -> (lambda, omega+1)^2, although lambda is not a strong limit cardinal. We announce, here, and will present in a…

Logic · Mathematics 2016-09-07 Saharon Shelah , Lee Stanley

We are interested in generalizing part of the theory of ultrafilters on omega to larger cardinals. Here we set the scene for further investigations introducing properties of ultrafilters in strong sense dual to being normal.

Logic · Mathematics 2007-05-23 Saharon Shelah

We characterize exactly the compactness properties of the product of \kappa\ copies of the space \omega\ with the discrete topology. The characterization involves uniform ultrafilters, infinitary languages, and the existence of nonstandard…

General Topology · Mathematics 2016-08-30 Paolo Lipparini

The paper gives several sufficient conditions on the paracompactness of box products with an arbitrary number of many factors and boxes of arbitrary size. The former include results on generalised metrisability and Sikorski spaces. Of…

Logic · Mathematics 2022-11-07 David Buhagiar , Mirna Džamonja

We show from a weak comparison principle (the Ultrapower Axiom) that the Mitchell order is linear on certain kinds of ultrafilters: normal ultrafilters, Dodd solid ultrafilters, and assuming GCH, generalized normal ultrafilters. In the…

Logic · Mathematics 2017-07-05 Gabriel Goldberg

A space has $\sigma$-compact tightness if the closures of $\sigma$-compact subsets determines the topology. We consider a dense set variant that we call densely k-separable. We consider the question of whether every densely k-separable…

General Topology · Mathematics 2018-10-12 Alan Dow , Istvan Juhasz