English
Related papers

Related papers: On disjoint stationary sequences

200 papers

We study the notion of tightly stationary sets which was introduced by Foreman and Magidor in \cite{ForMag-MS}. We obtain two consistency results which show that it is possible for a sequence of regular cardinals $( \kappa_n )_{n < \omega}$…

Logic · Mathematics 2017-10-10 Omer Ben-Neria

We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.

Logic · Mathematics 2007-05-23 Q. Feng , T. Jech , J. Zapletal

In this paper we prove that from large cardinals it is consistent that there is a singular strong limit cardinal $\nu$ such that the singular cardinal hypothesis fails at $\nu$ and every collection of fewer than $\mathrm{cf}(\nu)$…

Logic · Mathematics 2023-09-13 Omer Ben-Neria , Yair Hayut , Spencer Unger

We prove the consistency of ``CH + 2^{aleph_1} is arbitrarily large + 2^{aleph_1} not-> (omega_1 x omega)^2_2''. If fact, we can get 2^{aleph_1} not-> [omega_1 x omega]^2_{aleph_0}. In addition to this theorem, we give generalizations to…

Logic · Mathematics 2009-09-25 Saharon Shelah

Despite being an established notion in the large cardinal hierarchy, results about Woodin cardinals are sparse in the literature. Here we gather known results about the preservation of Woodin cardinals under certain forcing extensions, as…

Logic · Mathematics 2017-11-09 Stamatis Dimopoulos

We deal with the problem of preserving various versions of completeness in (< kappa) --support iterations of forcing notions, generalizing the case ``S --complete proper is preserved by CS iterations for a stationary co-stationary S…

Logic · Mathematics 2016-09-07 Saharon Shelah

We study the possible structures which can be carried by sets which have no countable subset, but which fail to be `surjectively Dedekind finite', in two possible senses, that there is a surjection to $\omega$, or alternatively, that there…

Logic · Mathematics 2025-09-17 Supakun Panasawatwong , J K Truss

We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness (a locality property for orbital types), and are stable (in terms of the number of orbital types) in some cardinal. Assuming…

Logic · Mathematics 2018-11-22 Sebastien Vasey

We emulate the Rademacher functions on any non-commutative compact group requiring the resulting system to have pairwise disjoint spectra.

Group Theory · Mathematics 2007-05-23 Javier Parcet

In Part I of this series, we introduced a class of notions of forcing which we call Sigma-Prikry, and showed that many of the known Prikry-type notions of forcing that center around singular cardinals of countable cofinality are…

Logic · Mathematics 2022-01-19 Alejandro Poveda , Assaf Rinot , Dima Sinapova

We study AECs without assuming the amalgamation property in general. We do assume the disjoint amalgamation property in a specific cardinality lambda and assume that there is no maximal model in \lambda. Under these hypotheses, we prove the…

Logic · Mathematics 2014-04-16 Adi Jarden

Starting from large cardinals we construct a pair $V_1\subseteq V_2$ of models of $ZFC$ with the same cardinals and cofinalities such that $GCH$ holds in $V_1$ and fails everywhere in $V_2$.

Logic · Mathematics 2015-10-13 Sy David Friedman , Mohammad Golshani

Working in the context of restricted forms of the Axiom of Choice, we consider the problem of splitting the ordinals below $\lambda$ of cofinality $\theta$ into $\lambda$ many stationary sets, where $\theta < \lambda$ are regular cardinals.…

Logic · Mathematics 2010-03-15 Paul Larson , Saharon Shelah

The question of defining unique, generally applicable constrained second, and higher-order, derivatives is investigated. It is shown that second-order constrained derivatives obtained via two successive constrained differentiations provide…

Mathematical Physics · Physics 2012-08-14 Tamas Gal

Existence of stationary solutions to a nonlocal fourth-order elliptic obstacle problem arising from the modelling of microelectromechanical systems with heterogeneous dielectric properties is shown. The underlying variational structure of…

Analysis of PDEs · Mathematics 2020-03-04 Philippe Laurençot , Christoph Walker

Jech proved that every partially ordered set can be embedded into the cardinals of some model of $ZF$. We extend this result to show that every partially ordered set can be embedded into the cardinals of some model of $ZF+DC_{<\kappa}$ for…

Logic · Mathematics 2014-06-17 Asaf Karagila

Under large cardinal hypotheses beyond the Kunen inconsistency -- hypotheses so strong as to contradict the Axiom of Choice -- we solve several variants of the generalized continuum problem and identify structural features of the levels…

Logic · Mathematics 2022-01-28 Gabriel Goldberg

We study the solutions of a generalized Allen-Cahn equation deduced from a Landau energy functional, endowed with a non-constant higher order stiffness. We analytically solve the stationary problem and deduce the existence of so-called…

Pattern Formation and Solitons · Physics 2017-03-03 Emilio N. M. Cirillo , Nicoletta Ianiro , Giulio Sciarra

We prove that the strong polarized relation of $\theta$ above $\omega$ applied simultaneously for every cardinal in the interval $[\aleph_1,\aleph]$ is consistent. We conclude that this positive relation is consistent for every cardinal…

Logic · Mathematics 2018-04-24 Shimon Garti , Saharon Shelah

We give full characterization of the sequences of regular cardinals that may arise as cardinal sequences of locally compact scattered spaces under GCH. The proofs are based on constructions of universal locally compact scattered spaces.

Logic · Mathematics 2007-12-05 Juan Carlos Martinez , Lajos Soukup