Related papers: Saturated ideals from Laver collapses

Addressing a question of Paul Larson we prove the following statement. If Chang's conjecture fails, Martin's axiom holds and the continuum is greater than $\aleph_2$, there are no weakly Laver ideals over $\aleph_1$. We also prove that…

We develop the theory of layered posets, and use the notion of layering to prove a new iteration theorem (Theorem 6): if $\kappa$ is weakly compact then any universal Kunen iteration of $\kappa$-cc posets (each possibly of size $\kappa$) is…

We construct a model with a saturated ideal $I$ over $\mathcal{P}_{\kappa}\lambda$ and study the extent of saturation of $I$.

Using Easton collapses, we give a simplified construction of a model in which Chang's Conjecture for triples holds.

We prove that double Schubert polynomials have the Saturated Newton Polytope property. This settles a conjecture by Monical, Tokcan and Yong. Our ideas are motivated by the theory of multidegrees. We introduce a notion of standardization of…

We show that Kunen's saturated ideal over $\aleph_1$ is not centered. We also evaluate the extent of saturation of Laver's saturated ideal in terms of $(\kappa,\lambda,<\nu)$-saturation.

We look for a parallel to the notion of ``proper forcing'' among lambda-complete forcing notions not collapsing lambda^+ . We suggest such a definition and prove that it is preserved by suitable iterations.

We analyze some posets involved in forcing constructions for dense ideals, showing that the Anonymous Collapse and the Dual Shioya Collapse are equivalent for collapsing a large cardinal to $\omega_2$. We also give a somewhat simplified…

We study a topological generalization of ideal co-maximality in topological rings and present some of its properties, including a generalization of the Chinese remainder theorem. Using the hyperspace uniformity, we prove a stronger version…

In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder…

We investigate the question whether a given homogeneous ideal is a limit of saturated ones. We provide cohomological necessary criteria for this to hold and apply them to a range of examples. Our motivation comes from the theory of border…

We develop iterated forcing constructions dual to finite support iterations in the sense that they add random reals instead of Cohen reals in limit steps. In view of useful applications we focus in particular on two-dimensional "random"…

We study sigma-ideals and regularity properties related to the "filter-Laver" and "dual-filter-Laver" forcing partial orders. An important innovation which enables this study is a dichotomy theorem proved recently by Miller [1]. [1] Arnold…

We establish the exact overlaps conjecture for iterated functions systems on the real line with algebraic contractions and arbitrary translations.

Consider the property $(\aleph_{\omega + 1},\aleph_{\omega + 2},\ldots) \twoheadrightarrow (\aleph_1,\aleph_2,\ldots)$. Here we will show that this property with the addition of the General Continuum Hypothesis implies projective…

We prove sharp interpolatory estimates between Riesz Transforms and directional Haar projections. We obtain applications to the theory of compensated compactness and prove a conjecture of L. Tartar on semi-continuity of separately convex…

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…

Was paper 839 in the author's list until winter 2023 when it was divided into three. Part I: We would like to generalize imaginary elements, weight of ortp$(a,M,N), {\mathbf P}$-weight, ${\mathbf P}$-simple types, etc. from [She90, Ch.…

We prove that a large class of presaturated ideals at inaccessible cardinals can be de-saturated while preserving their presaturation, answering both a question of Foreman and of Cox and Eskew. We do so by iterating a generalized version of…

We propose an alternative refined de Sitter conjecture. It is given by a natural condition on a combination of the first and second derivatives of the scalar potential. We derive our conjecture in the same weak coupling, semi-classical…