English
Related papers

Related papers: Bounded stationary reflection II

200 papers

Our original aim was, in Abelian group theory to prove the consistency of: lambda is strong limit singular and for some properties of abelian groups which are relatives of being free, the compactness in singular fails. In fact this should…

Logic · Mathematics 2013-06-25 Saharon Shelah

The Bounded Negativity Conjecture predicts that for any smooth complex surface $X$ there exists a lower bound for the selfintersection of reduced divisors on $X$. This conjecture is open. It is also not known if the existence of such a…

Algebraic Geometry · Mathematics 2016-01-20 Thomas Bauer , Sandra Di Rocco , Brian Harbourne , Jack Huizenga , Anders Lundman , Piotr Pokora , Tomasz Szemberg

A basic question about the existence and stability of the Boltzmann equation in general non-convex domain with the specular reflection boundary condition has been widely open. In this paper, we consider cylindrical domains whose cross…

Analysis of PDEs · Mathematics 2018-05-01 Chanwoo Kim , Donghyun Lee

It has recently been demonstrated that asymptotically flat neutral reflecting stars are characterized by an intriguing no-hair property. In particular, it has been proved that these {\it horizonless} compact objects cannot support spatially…

General Relativity and Quantum Cosmology · Physics 2018-07-25 Shahar Hod

We study Structural Reflection beyond Vop\v{e}nka's Principle, at the level of almost-huge cardinals and higher, up to rank-into-rank embeddings. We identify and classify new large cardinal notions in that region that correspond to some…

Logic · Mathematics 2024-01-02 Joan Bagaria , Philipp Lücke

This work deals with the Landau equation in a bounded domain with the Maxwell reflection condition on the boundary for any (possibly smoothly position dependent) accommodation coefficient and for the full range of interaction potentials,…

Analysis of PDEs · Mathematics 2024-07-15 Kleber Carrapatoso , Stéphane Mischler

We study several ideal-based constructions in the context of singular stationarity. By combining methods of strong ideals, supercompact embeddings, and Prikry-type posets, we obtain three consistency results concerning mutually stationary…

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

The Axiom of Full Reflection at a measurable cardinal has been conjectured to be equiconsitent with the existence of a coherent sequence of measures with a repeat point. However we prove that the Axiom of Full Reflection at a measurable…

Logic · Mathematics 2008-02-03 Moti Gitik , Jiří Witzany

In this paper we continue the study in [Gilton-Levine-Stejskalova] of compactness and incompactness principles at double successors, focusing here on the case of double successors of singulars of countable cofinality. We obtain models which…

Logic · Mathematics 2024-08-13 Thomas Gilton , Šárka Stejskalová

It is consistent that for every n >= 2, every stationary subset of omega_n consisting of ordinals of cofinality omega_k where k = 0 or k <= n-3 reflects fully in the set of ordinals of cofinality omega_{n-1}. We also show that this result…

Logic · Mathematics 2008-02-03 Thomas Jech , Saharon Shelah

This paper establishes the well-posedness of reflected backward stochastic differential equations in the non-convex domains that satisfy a weaker version of the star-shaped property. The main results are established (i) in a Markovian…

Probability · Mathematics 2021-02-15 Jean-François Chassagneux , Sergey Nadtochiy , Adrien Richou

We obtain strong coloring theorems at successors of singular cardinals from failures of certain instances of simultaneous reflection of stationary sets. Along the way, we establish new results in club-guessing and in the general theory of…

Logic · Mathematics 2009-05-26 Todd Eisworth

If cf(kappa) = kappa, kappa^+< cf(lambda) = \lambda, then there is a stationary subset S of {delta<lambda:cf(delta)=kappa} in I[lambda]. Moreover, we can find <C_delta :delta in S>, C_delta a club of lambda, otp(C_delta)=kappa, guessing…

Logic · Mathematics 2008-06-03 Saharon Shelah

Let kappa be a regular uncountable cardinal and lambda > kappa a singular strong limit cardinal. We give a new characterization of the nonstationary subsets of P_kappa (lambda) and use this to prove that the nonstationary ideal on P_kappa…

Logic · Mathematics 2007-05-23 Pierre Matet , Saharon Shelah

Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…

Logic · Mathematics 2016-10-06 Darío García , Frank Olaf Wagner

Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal $\kappa$. We show the consistency of…

Logic · Mathematics 2017-08-10 David Asperó , Tapani Hyttinen , Vadim Kulikov , Miguel Moreno

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

We obtain an array of consistency results concerning trees and stationary reflection at double successors of regular cardinals $\kappa$, updating some classical constructions in the process. This includes models of…

Logic · Mathematics 2021-04-06 Thomas Gilton , Maxwell Levine , Šárka Stejskalová

Mass-stationarity means that the origin is at a typical location in the mass of a random measure. It is an intrinsic characterisation of Palm versions with respect to stationary random measures. Stationarity is the special case when the…

Probability · Mathematics 2015-07-20 Guenter Last , Hermann Thorisson

For an abstract elementary class $\mathbf{K}$ and a cardinal $\lambda \geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $\lambda^+$-minimal types and…

Logic · Mathematics 2024-09-06 Marcos Mazari-Armida , Sebastien Vasey , Wentao Yang