English
Related papers

Related papers: Cardinal characteristics at aleph omega

200 papers

We extend the applications of the techniques used in Arch Math Logic 52:261-278, 2013, to present various examples of consistency results where some cardinal invariants of the continuum take arbitrary regular values with the size of the…

Logic · Mathematics 2015-01-16 Diego Alejandro Mejía

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

Logic · Mathematics 2007-05-23 Arthur W. Apter

We study the generalized dominating number $\mathfrak{d}_{\mu}$ at a singular cardinal $\mu$ of cofinality $\kappa$. We show two lower bounds: in ZFC, $\mathrm{cf}([\mu]^\kappa,\subseteq) \leq \mathfrak{d}_{\mu}$, and under mild…

Logic · Mathematics 2025-08-19 Yusuke Hayashi

Let $\nu_{f}(n)$ be the $n$-th nomalized Fourier coefficient of a Hecke--Maass cusp form $f$ for ${\rm SL}(2,\Z)$ and let $\alpha$ be a real number. We prove strong oscillations of the argument of $\nu_{f}(n)\mu (n) \exp (2\pi i n \alpha)$…

Number Theory · Mathematics 2019-02-20 Étienne Fouvry , Satadal Ganguly

We continue here [She88] but we do not rely on it. The motivation was a conjecture of Galvin stating that 2^{omega} >= omega_2 + omega_2-> [omega_1]^{n}_{h(n)} is consistent for a suitable h: omega-> omega. In section 5 we disprove this and…

Logic · Mathematics 2024-01-30 Saharon Shelah

In the absence of the Axiom of Choice, the "small" cardinal $\omega_1$ can exhibit properties more usually associated with large cardinals, such as strong compactness and supercompactness. For a local version of strong compactness, we say…

Logic · Mathematics 2016-09-20 Nam Trang , Trevor Wilson

The axioms of ZFC provide a foundation for mathematics, however, there are statements independent of ZFC, such as the Continuum Hypothesis (CH). We discuss Martin's axiom, which is an alternative to CH that roughly states that if there is a…

Logic · Mathematics 2023-01-20 Helena Jorquera Riera

We provide a model where u(\kappa) < 2^{\kappa} for a supercompact cardinal \kappa. Garti and Shelah have provided a sketch of how to obtain such a model by modifying the construction in a paper of Dzamonja and Shelah; we provide here a…

Logic · Mathematics 2015-11-10 A. D. Brooke-Taylor , V. Fischer , S. D. Friedman , D. C. Montoya

We prove the following consistency result for cardinal sequences of length $< \om_3$: if GCH holds and $\la \geq \om_2$ is a regular cardinal, then in some cardinal-preserving generic extension $2^{\om} = \la$ and for every ordinal $\eta <…

Logic · Mathematics 2018-10-29 Juan Carlos Martínez , Lajos Soukup

We prove that if cf(lambda) > aleph_0 and 2^{cf(lambda)}<lambda, then lambda->(lambda,omega+1)^2.

Logic · Mathematics 2007-05-23 Saharon Shelah

We prove that the consistency of the existence of a Dowker filter at $\kappa^+$ along with $2^\kappa=\kappa^+$ where $\kappa$ is regular and uncountable. Using Magidor forcing we also prove the consistency of the existence of a Dowker…

Logic · Mathematics 2020-06-25 Shimon Garti , Yair Hayut

We continue the study from \cite{BrendleFreidmanMontoya, vandervlugtlocalizationcardinals} of localization cardinals $\mfb_\kappa(\in^*)$ and $\mfd_\kappa(\in^*)$ and their variants at regular uncountable $\kappa$. We prove that if $\kappa$…

Logic · Mathematics 2025-11-11 Tom Benhamou , Corey Bacal Switzer

For a regular cardinal $\kappa$, a formula of the modal $\mu$-calculus is $\kappa$-continuous in a variable x if, on every model, its interpretation as a unary function of x is monotone and preserves unions of $\kappa$-directed sets. We…

Logic in Computer Science · Computer Science 2023-06-22 Maria João Gouveia , Luigi Santocanale

We show, assuming the consistency of one measurable cardinal, that it is consistent for there to be exactly kappa+ many normal measures on the least measurable cardinal kappa. This answers a question of Stewart Baldwin. The methods…

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

We isolate a new large cardinal concept, "remarkability." Consistencywise, remarkable cardinals are between ineffable and omega-Erdos cardinals. They are characterized by the existence of "0^sharp-like" embeddings; however, they relativize…

Logic · Mathematics 2007-05-23 Ralf Schindler

We prove that for every singular cardinal mu of cofinality omega, the complete Boolean algebra compP_mu(mu) contains as a complete subalgebra an isomorphic copy of the collapse algebra Comp Col(omega_1,mu^{aleph_0}). Consequently, adding a…

Logic · Mathematics 2007-05-23 Menachem Kojman , Saharon Shelah

We introduce a new compactness principle which we call the gluing property. For a measurable cardinal $\kappa$ and a cardinal $\lambda$, we say that $\kappa$ has the $\lambda$-gluing property if every sequence of $\lambda$-many…

Logic · Mathematics 2026-03-27 Yair Hayut , Alejandro Poveda

Assuming three strongly compact cardinals, it is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{null}) < \mathrm{cov}(\mathrm{null}) < \mathfrak{b} < \mathfrak{d} < \mathrm{non}(\mathrm{null}) < \mathrm{cof}(\mathrm{null}) <…

Logic · Mathematics 2018-10-01 Jakob Kellner , Anda Ramona Tănasie , Fabio Elio Tonti

We show the consistency of the set of regular cardinals which are the character of some ultrafilter on omega is not convex. We also deal with the set of pi chi-characters of ultrafilters on omega.

Logic · Mathematics 2007-08-15 Saharon Shelah

We investigate whether the ultrafilter number function $\kappa \mapsto \mathfrak{u}(\kappa)$ on the cardinals is monotone, that is, whether $\mathfrak{u}(\lambda) \le \mathfrak{u}(\kappa)$ holds for all cardinals $\lambda < \kappa$ or not.…

Logic · Mathematics 2025-11-24 Toshimichi Usuba