English
Related papers

Related papers: Saturated filters at successors of singulars, weak…

200 papers

The notion of stationary reflection is one of the most important notions of combinatorial set theory. We investigate weak reflection, which is, as the name suggests, a weak version of stationary reflection. This sort of reflection was…

Logic · Mathematics 2007-05-23 Mirna Džamonja , Saharon Shelah

Let kappa be a regular uncountable cardinal and lambda >=kappa^+ . The principle of stationary reflection for P_kappa lambda has been successful in settling problems of infinite combinatorics in the case kappa=omega_1. For a greater kappa…

Logic · Mathematics 2007-05-23 Saharon Shelah , Masahiro Shioya

A cardinal kappa is countably closed if mu^omega < kappa whenever mu < kappa. Assume that there is no inner model with a Woodin cardinal and that every set has a sharp. Let K be the core model. Assume that kappa is a countably closed…

Logic · Mathematics 2016-09-07 William J. Mitchell , Ernest Schimmerling , John R. Steel

We show that the tree property, stationary reflection and the failure of approachability at $\kappa^{++}$ are consistent with $\mathfrak{u}(\kappa) = \kappa^+ < 2^\kappa$, where $\kappa$ is a singular strong limit cardinal with the…

Logic · Mathematics 2019-11-01 Radek Honzik , Sarka Stejskalova

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

Under some cardinal arithmetic assumptions, we prove that every stationary subset of lambda of a right cofinality has the weak diamond. This is a strong negation of uniformization. We then deal with a weaker version of the weak diamond-…

Logic · Mathematics 2007-05-23 Saharon Shelah

Let $\kappa$,$\lambda$ be regular uncountable cardinals such that $\lambda > \kappa^+$ is not a successor of a singular cardinal of low cofinality. We construct a generic extension with $s(\kappa) = \lambda$ starting from a ground model in…

Logic · Mathematics 2015-08-18 Omer Ben-Neria , Moti Gitik

If $\kappa$ is regular and $2^{<\kappa}\leq\kappa^+$, then the existence of a weakly presaturated ideal on $\kappa^+$ implies $\square^*_\kappa$. This partially answers a question of Foreman and Magidor about the approachability ideal on…

Logic · Mathematics 2020-10-01 Sean Cox , Monroe Eskew

The weakly compact reflection principle $\text{Refl}_{\text{wc}}(\kappa)$ states that $\kappa$ is a weakly compact cardinal and every weakly compact subset of $\kappa$ has a weakly compact proper initial segment. The weakly compact…

Logic · Mathematics 2017-09-05 Brent Cody , Hiroshi Sakai

In this paper we analyze the connection between some properties of partially strongly compact cardinals: the completion of filters of certain size and instances of the compactness of $\mathcal{L}_{\kappa,\kappa}$. Using this equivalence we…

Logic · Mathematics 2018-09-18 Yair Hayut

The following pcf results are proved: 1. Assume that kappa > aleph_0 is a weakly compact cardinal. Let mu > 2^kappa be a singular cardinal of cofinality kappa. Then for every regular lambda < pp^+_{Gamma(kappa)} (mu) there is an increasing…

Logic · Mathematics 2013-07-24 Moti Gitik , Saharon Shelah

Assuming the existence of a strong cardinal $\kappa$, a weakly compact cardinal $\lambda$ above it and $\gamma > \lambda,$ we force a generic extension in which $\kappa$ is a singular strong limit cardinal of any given cofinality $\delta$,…

Logic · Mathematics 2020-06-26 Mohammad Golshani , Alejandro Poveda

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

Our results in this paper increase the model-theoretic precision of a widely used method for building ultrafilters, and so advance the general problem of constructing ultrafilters whose ultrapowers have a precise degree of saturation. We…

Logic · Mathematics 2012-08-14 M. Malliaris , S. Shelah

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

It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if…

Logic · Mathematics 2017-11-17 Gunter Fuchs , Assaf Rinot

We prove that $\alpha_M(\lambda)$ can be successor of a supercompact cardinal, when $\lambda$ is a Magidor cardinal. From this result we obtain the consistency of $\alpha_M(\lambda)$ being a successor of a singular cardinal with uncountable…

Logic · Mathematics 2019-05-17 Shimon Garti , Yair Hayut

In this paper we study the notion of strong non-reflection, and its contrapositive weak reflection. We say theta strongly non-reflects at lambda iff there is a function F: theta ---> lambda such that for all alpha < theta with cf(alpha)=…

Logic · Mathematics 2009-09-25 James Cummings , Mirna Džamonja , Saharon Shelah

We use Shelah's theory of possible cofinalities in order to solve a problem about ultrafilters. THEOREM. Suppose that $ \lambda $ is a singular cardinal, $ \lambda ' < \lambda $, and the ultrafilter $D$ is $ \kappa $-decomposable for all…

Logic · Mathematics 2009-04-05 Paolo Lipparini

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
‹ Prev 1 2 3 10 Next ›