English
Related papers

Related papers: Constructing regular ultrafilters from a model-the…

200 papers

In this article, we give some conditions on the structure of an unstable module, which are satisfied whenever this module is the reduced cohomology of a space or a spectrum. First, we study the structure of the sub-modules of…

Algebraic Topology · Mathematics 2014-10-01 DongHua Jiang

We study the influence of the existence of large cardinals on the existence of wellorderings of power sets of infinite cardinals $\kappa$ with the property that the collection of all initial segments of the wellordering is definable by a…

Logic · Mathematics 2017-04-04 Philipp Lücke , Philipp Schlicht

This article surveys results regarding the Tukey theory of ultrafilters on countable base sets. The driving forces for this investigation are Isbell's Problem and the question of how closely related the Rudin-Keisler and Tukey…

Logic · Mathematics 2014-02-03 Natasha Dobrinen

Assuming an abstract comparison principle called the Ultrapower Axiom, which is motivated by the comparison process of inner model theory and generalizes the statement that the Mitchell order is linear on normal ultrafilters, we…

Logic · Mathematics 2018-01-30 Gabriel Goldberg

We prove that consistently there is a singular cardinal $\kappa$ of uncountable cofinality such that $2^\kappa$ is weakly inaccessible, and every regular cardinal strictly between $\kappa$ and $2^\kappa$ is the character of some uniform…

Logic · Mathematics 2019-07-30 James Cummings , Charles Morgan

We extend to singular cardinals the model-theoretical relation $\lambda \stackrel{\kappa}{\Rightarrow} \mu$ introduced in P. Lipparini, The compactness spectrum of abstract logics, large cardinals and combinatorial principles, Boll. Unione…

Logic · Mathematics 2008-05-13 Paolo Lipparini

In earlier work of the second and third author the equivalence of a finite square principle square^fin_{lambda,D} with various model theoretic properties of structures of size lambda and regular ultrafilters was established. In this paper…

Logic · Mathematics 2016-02-10 Juliette Kennedy , Saharon Shelah , Jouko Vaananen

Suppose that lambda is the successor of a singular cardinal mu whose cofinality is an uncountable cardinal kappa. We give a sufficient condition that the club filter of lambda concentrating on the points of cofinality kappa is not…

Logic · Mathematics 2008-02-03 Mirna Džamonja , Saharon Shelah

We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $\kappa$ such that $\kappa^\omega=\kappa$, there exists a group topology on the free Abelian group of cardinality $\kappa$…

Logic · Mathematics 2021-03-25 M. K. Bellini , K. P. Hart , V. O. Rodrigues , A. H. Tomita

In this paper we investigate more characterizations and applications of $\delta$-strongly compact cardinals. We show that, for a cardinal $\kappa$ the following are equivalent: (1) $\kappa$ is $\delta$-strongly compact, (2) For every…

Logic · Mathematics 2020-09-25 Toshimichi Usuba

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 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

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 find a strong separation between two natural families of simple rank one theories in Keisler's order: the theories $T_\mathfrak{m}$ reflecting graph sequences, which witness that Keisler's order has the maximum number of classes, and the…

Logic · Mathematics 2023-07-06 M. Malliaris , S. Shelah

This work is a part of my upcoming thesis [7]. We establish an equiconsistency between (1) weak indestructibility for all $\kappa +2$-degrees of strength for cardinals $\kappa $ in the presence of a proper class of strong cardinals, and (2)…

Logic · Mathematics 2024-11-20 James Holland

Smallish large cardinals $\kappa$ are often characterized by the existence of a collection of filters on $\kappa$, each of which is an ultrafilter on the subsets of $\kappa$ of some transitive $\mathrm{ZFC}^-$-model of size $ \kappa$. We…

Logic · Mathematics 2021-05-14 Erin Carmody , Victoria Gitman , Miha E. Habič

We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular…

We continue our study of the class $\mathscr{C}(D)$, where $D$ is a uniform ultrafilter on a cardinal $\kappa$ and $\mathscr{C}(D)$ is the class of all pairs $(\theta_1, \theta_2),$ where $(\theta_1, \theta_2)$ is the cofinality of a cut in…

Logic · Mathematics 2017-12-19 Mohammad Golshani , Saharon Shelah

For an ultrafilter $D$ on a cardinal $\kappa,$ we wonder for which pair $(\theta_1, \theta_2)$ of regular cardinals, we have: for any $(\theta_1+\theta_2)^+-$saturated dense linear order $J, J^{\kappa}/ D$ has a cut of cofinality…

Logic · Mathematics 2016-09-20 Mohammad Golshani , Saharon Shelah

This paper deals with variety of problems in pcf theory and infinitary combinatorics. We look at normal filters and prc, measures of the size of [lambda]^{<kappa}, pcf-inaccessibility, entangled orders (and narrow Boolean Algebras),…

Logic · Mathematics 2007-05-23 Saharon Shelah