Related papers: Some results on nonstationry ideal 2

We find many conditions equivalent to the model-theoretical property $\lambda \stackrel{\kappa}{\Rightarrow} \mu$ introduced in [L1]. Our conditions involve uniformity of ultrafilters, compactness properties of products of topological…

A new parametric class of semi-implicit numerical schemes for a level set advection equation on Cartesian grids is derived and analyzed. An accuracy and a stability study is provided for a linear advection equation with a variable velocity…

Suppose that lambda = mu^+. We consider two aspects of the square property on subsets of lambda. First, we have results which show e.g. that for aleph_0 <= kappa =cf (kappa)< mu, the equality cf([mu]^{<= kappa}, subseteq)= mu is a…

Assuming $\kappa$ is a supercompact cardinal and $\lambda$ is an inaccessible cardinal above it, we present an idea due to Magidor, to find a generic extension in which $\kappa=\aleph_\omega$ and $\lambda=\aleph_{\omega+1}.$

We introduce a new compactness principle which we call the gluing property. For a measurable cardinal $\kappa$ and a cardinal $\lambda$, we say that $\kappa$ has the $\lambda$-gluing property if every sequence of $\lambda$-many…

In its customary formulation for one-component fluids, the Hierarchical Reference Theory yields a quasilinear partial differential equation for an auxiliary quantity f that can be solved even arbitrarily close to the critical point,…

Grossberg and VanDieren have started a program to develop a stability theory for tame classes. We prove, for instance, that for tame abstract elementary classes satisfying the amlagamation property and for large enough cardinals kappa,…

We prove a so called $\kappa$ non-inflating property for Ricci flow, which provides an upper bound for volume ratio of geodesic balls over Euclidean ones, under an upper bound for scalar curvature. This result can be regarded as the…

We apply the recently developed technology of cofinality spectrum problems to prove a range of theorems in model theory. First, we prove that any model of Peano arithmetic is $\lambda$-saturated iff it has cofinality $\geq \lambda$ and the…

We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta>\kappa$ to get the consistency of the forcing axiom for $\kappa$-strongly…

We give a necessary and sufficient condition for the following property of an integer $d\in\mathbb N$ and a pair $(a,A)\in\mathbb R^2$: There exist $\kappa > 0$ and $Q_0\in\mathbb N$ such that for all $\mathbf x\in \mathbb R^d$ and $Q\geq…

The standard (non-relativistic) $\kappa$-distribution is widely used to fit data and to describe macroscopic thermodynamical behavior, e.g.\ the pressure (temperature) as the second moment of the distribution function. By contrast to a…

section 2: We answer a question of Mekler Eklof on the closure operations of the incompactness spectrum. We answer a question of Foreman and Magidor on reflection of stationary subsets of S_{< aleph_2}(lambda) = {a subseteq lambda : |a| <…

Let $(M,g)$ be a $m$-dimensional compact Riemannian manifold without boundary. Assume $\kappa\in C^2(M)$ is such that $-\Delta_g+\kappa$ is coercive. We prove the existence of a solution to the supercritical problems $$ -\Delta_gu+\kappa u=…

Hellsten \cite{MR2026390} proved that when $\kappa$ is $\Pi^1_n$-indescribable, the \emph{$n$-club} subsets of $\kappa$ provide a filter base for the $\Pi^1_n$-indescribability ideal, and hence can also be used to give a characterization of…

We determine the large cardinal consistency strength of the existence of a $\lambda$-supercompact cardinal $\kappa$ such that GCH fails at $\lambda$. Indeed, we show that the existence of a $\lambda$-supercompact cardinal $\kappa$ such that…

We prove under $V=L$ that the inclusion modulo the non-stationary ideal is a $\Sigma_1^1$-complete quasi-order in the generalized Borel-reducibility hierarchy ($\kappa>\omega$). This improvement to known results in $L$ has many new…

We characterize exactly the compactness properties of the product of \kappa\ copies of the space \omega\ with the discrete topology. The characterization involves uniform ultrafilters, infinitary languages, and the existence of nonstandard…

We show that if $\lambda^{<\kappa} = \lambda$ and every normal filter on $P_\kappa\lambda$ can be extended to a $\kappa$-complete ultrafilter then so does every $\kappa$-complete filter on $\lambda$. This answers a question of Gitik.

Suppose lambda is a singular cardinal of uncountable cofinality kappa. For a model M of cardinality lambda, let No(M) denote the number of isomorphism types of models N of cardinality lambda which are L_{infty lambda}-equivalent to M. In…