English
Related papers

Related papers: Cardinals of the $P_\kappa(\lambda)$-Filter Games

200 papers

We study several intertwined hierarchies between $\kappa$-Ramsey cardinals and measurable cardinals to illuminate the structure of the large cardinal hierarchy in this region. In particular, we study baby versions of measurability…

Logic · Mathematics 2023-11-22 Victoria Gitman , Philipp Schlicht

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

Remarkable cardinals were introduced by Schindler, who showed that the existence of a remarkable cardinal is equiconsistent with the assertion that the theory of $L(\mathbb R)$ is absolute for proper forcing. Here, we study the…

Logic · Mathematics 2015-06-10 Yong Cheng , Victoria Gitman

We consider compactness characterizations of large cardinals. Based on results of Benda \cite{b-sccomp}, we study compactness for omitting types in various logics. In $\bL_{\kappa, \kappa}$, this allows us to characterize any large cardinal…

Logic · Mathematics 2019-03-19 Will Boney

We introduce the notion of weakly extendible cardinals and show that these cardinals are characterized in terms of weak compactness of second order logic. The consistency strength and largeness of weakly extendible cardinals are located…

Logic · Mathematics 2023-01-06 Sakaé Fuchino , Hiroshi Sakai

We will consider a number of new large-cardinal properties, the $\alpha$-tremendous cardinals for each limit ordinal $\alpha>0$, the hyper-tremendous cardinals, the $\alpha$-enormous cardinals for each limit ordinal $\alpha>0$, and the…

Logic · Mathematics 2021-03-10 Rupert McCallum

We introduce an analog to the notion of Polish space for spaces of weight $\leq\kappa$, where $\kappa$ is an uncountable regular cardinal such that $\kappa^{<\kappa}=\kappa$. Specifically, we consider spaces in which player II has a winning…

Logic · Mathematics 2019-08-16 Samuel Coskey , Philipp Schlicht

We construct a model of the form $L[A,U]$ that exhibits the simplest structural behavior of $\sigma$-complete ultrafilters in a model of set theory with a single measurable cardinal $\kappa$ , yet satisfies $2^\kappa = \kappa^{++}$. This…

Logic · Mathematics 2024-12-10 Omer Ben-Neria , Eyal Kaplan

We strengthen non-structure theorems for almost free Abelian groups by studying long Ehrenfeucht-Fraisse games between a fixed group of cardinality lambda and a free Abelian group. A group is called epsilon-game-free if the isomorphism…

Logic · Mathematics 2007-05-23 Saharon Shelah , Pauli Väisänen

The main goal of the paper is the full proof of a cardinal inequality for a space with points $G_\delta $, obtained with the help of a long version of the Menger game. This result, which improves a similar one of Scheepers and Tall, was…

General Topology · Mathematics 2017-11-30 Leandro F. Aurichi , Angelo Bella

This dissertation includes many theorems which show how to change large cardinal properties with forcing. I consider in detail the degrees of inaccessible cardinals (an analogue of the classical degrees of Mahlo cardinals) and provide new…

Logic · Mathematics 2015-06-15 Erin Carmody

Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…

Logic · Mathematics 2013-09-12 Brent Cody , Menachem Magidor

We investigate game-theoretic variants of cardinal invariants of the continuum. The invariants we treat are the reaping number $\mathfrak{r}$, the bounding number $\mathfrak{b}$, the dominating number $\mathfrak{d}$, and the additivity…

Logic · Mathematics 2024-12-03 Jorge Antonio Cruz Chapital , Tatsuya Goto , Yusuke Hayashi

We prove that it is relatively consistent with ZF + CH that there exist two models of cardinality \aleph_2 such that the second player has a winning strategy in the Ehrenfeucht-Fra\"iss\'e-game of length \omega_1 but there is no…

Logic · Mathematics 2013-08-02 Saharon Shelah , Jouko Väänänen , Boban Velickovic

We obtain a small ultrafilter number at $\aleph_{\omega_1}$. Moreover, we develop a version of the overlapping strong extender forcing with collapses which can keep the top cardinal $\kappa$ inaccessible. We apply this forcing to construct…

Logic · Mathematics 2025-12-10 Tom Benhamou , Sittinon Jirattikansakul

An infinite game on the set of real numbers appeared in Matthew Baker's work [Math. Mag. 80 (2007), no. 5, pp. 377--380] in which he asks whether it can help characterize countable subsets of the reals. This question is in a similar spirit…

Logic · Mathematics 2024-08-28 Tonatiuh Matos-Wiederhold , Luciano Salvetti

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $\kappa$ is a singular strong limit cardinal and…

Logic · Mathematics 2016-09-06 Moti Gitik , William Mitchell

We show that a statement concerning the existence of winning strategies of limited memory in an infinite two-person topological game is equivalent to a weak version of the Singular Cardinals Hypothesis.

Logic · Mathematics 2018-08-23 Liljana Babinkostova , Marion Scheepers

Let $\kappa$ be an infinite cardinal. Then, forcing with $\mathbb{R}(\kappa)$$\times$$\mathbb{R}(\kappa)$ adds a generic filter for $\mathbb{C}(\kappa);$ where $\mathbb{R}(\kappa)$ and $\mathbb{C}(\kappa)$ are the forcing notions for adding…

Logic · Mathematics 2017-01-17 Mohammad Golshani

Assuming that there is no inner model with a Woodin cardinal, we obtain a characterization of $\lambda$-tall cardinals in extender models that are iterable. In particular we prove that in such extender models, a cardinal $\kappa$ is a tall…

Logic · Mathematics 2021-04-13 Gabriel Fernandes , Ralf Schindler