English
Related papers

Related papers: On the centeredness of saturated ideals

200 papers

Generalizing Keisler's notion of regularity for ultrafilters, Taylor introduced degrees of regularity for ideals and showed that a countably complete nonregular ideal on $\omega_1$ must be somewhere $\omega_1$-dense. We prove a dichotomy…

Logic · Mathematics 2020-09-04 Monroe Eskew

We show that under the assumption of the existence of the canonical inner model with one Woodin cardinal $M_1$, there is a model of $\ZFC$ in which $\NS$ is $\aleph_2$-saturated and $\Delta_1$-definable with $\omega_1$ as a parameter which…

Logic · Mathematics 2021-12-16 Stefan Hoffelner

A space X is kappa-resolvable (resp. almost kappa-resolvable) if it contains kappa dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets of X). Answering a problem raised by Juhasz, Soukup, and…

General Topology · Mathematics 2007-05-23 Istvan Juhasz , Saharon Shelah , Lajos Soukup

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

We reconsider here the following related pcf questions and make some advances: (Q1) concerning the ideal {check I}_kappa [lambda] how much reflection do we have for the bad set S^{bd}_{lambda, kappa} subseteq {delta < lambda : cf(delta)=…

Logic · Mathematics 2012-06-26 Saharon Shelah

Building on work of Holy, L\"ucke and Njegomir \cite{MR3913154} on small embedding characterizations of large cardinals, we use some classical results of Baumgartner (see \cite{MR0384553} and \cite{MR0540770}), to give characterizations of…

Logic · Mathematics 2021-02-22 Brent Cody

In this note we describe the minimal resolution of the ideal $I_f$, the saturation of the Jacobian ideal of a nearly free plane curve $C:f=0$. In particular, it follows that this ideal $I_f$ can be generated by at most 4 polynomials.…

Algebraic Geometry · Mathematics 2019-09-18 Alexandru Dimca , Gabriel Sticlaru

For a real-valued measurable function $f$ and a nonnegative, nondecreasing function $\phi$, we first obtain a Chebyshev type inequality which provides an upper bound for $\displaystyle \phi(\lambda_{1}) \mu(\{x \in \Omega : f(x) \geq…

Functional Analysis · Mathematics 2022-09-14 M. Ashraf Bhat , G. Sankara Raju Kosuru

A theory $T$ is said to have exact saturation at a singular cardinal $\kappa$ if it has a $\kappa$-saturated model which is not $\kappa^{+}$-saturated. We show, under some set-theoretic assumptions, that any simple theory has exact…

Logic · Mathematics 2015-10-12 Itay Kaplan , Saharon Shelah , Pierre Simon

In this article, we show that the $N$-center problem with rational weak and moderate forces is not rationally integrable for all but a finite number of values $\alpha\in(0,2)\cap \mathbb{Q}$, where $\alpha$ is the order of the…

Dynamical Systems · Mathematics 2024-10-04 Eddaly Guerra-Velasco , Boris Percino-Figueroa , Russell-Aarón Quiñones-Estrella

In this work we extend the concept of the Lipschitz saturation of an ideal defined in [5] to the context of modules in some different ways, and we prove they are generically equivalent.

Algebraic Geometry · Mathematics 2020-12-23 Terence Gaffney , Thiago F. da Silva

We prove a compactness theorem for full Boolean-valued models. As an application, we show that if $T$ is a complete countable theory and $\mathcal{B}$ is a complete Boolean algebra, then $\lambda^+$-saturated $\mathcal{B}$-valued models of…

Logic · Mathematics 2018-10-15 Douglas Ulrich

We resolve three interrelated problems on \emph{reduced Kronecker coefficients} $\overline{g}(\alpha,\beta,\gamma)$. First, we disprove the \emph{saturation property} which states that $\overline{g}(N\alpha,N\beta,N\gamma)>0$ implies…

Combinatorics · Mathematics 2020-04-07 Igor Pak , Greta Panova

We study commutants modulo some normed ideal of n-tuples of operators which satisfy a certain approximate unit condition relative to the ideal. We obtain results about the quotient of these Banach algebras by their ideal of compact…

Operator Algebras · Mathematics 2013-10-21 Dan-Virgil Voiculescu

We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…

Logic · Mathematics 2012-02-28 Saharon Shelah

Let $\mu$ be a Borel measure on a compactum $X$. The main objects in this paper are $\sigma$-ideals $I(dim)$, $J_0(\mu)$, $J_f(\mu)$ of Borel sets in $X$ that can be covered by countably many compacta which are finite-dimensional, or of…

Logic · Mathematics 2017-06-16 Roman Pol , Piotr Zakrzewski

We present an overview of results on the question of whether the non-stationary ideal of an uncountable regular cardinal $\kappa$ can be defined by a $\Pi_1$-formula using parameters of hereditary cardinality at most $\kappa$. These results…

Logic · Mathematics 2024-04-18 Philipp Lücke

We produce a complete descrption of the lattice of gauge-invariant ideals in $C^*(\Lambda)$ for a finitely aligned $k$-graph $\Lambda$. We provide a condition on $\Lambda$ under which every ideal is gauge-invariant. We give conditions on…

Operator Algebras · Mathematics 2007-05-23 Aidan Sims

In this paper, we study some variations of Namba forcing $\mathrm{Nm}(\kappa,\lambda)$ over $\mathcal{P}_{\kappa}\lambda$ and show that its semiproperness implies $\mathrm{SSR}([\lambda]^{\omega},{<}\kappa)$. In particular, Prikry forcing…

Logic · Mathematics 2023-11-21 Kenta Tsukuura

We continue our study of Sierpinski-type colourings. In contrast to the prequel paper, we focus here on colourings for ideals stratified by their completeness degree. In particular, improving upon Ulam's theorem and its extension by Hajnal,…

Logic · Mathematics 2023-12-19 Tanmay Inamdar , Assaf Rinot