Related papers: Some results on nonstationry ideal 2

If kappa is strongly compact, lambda > kappa is regular, then (2^{< lambda})^+ --> (lambda+eta)^2_theta holds for eta,theta<kappa.

We show that higher Sacks forcing at a regular limit cardinal and club Miller forcing at an uncountable regular cardinal both add a diamond sequence. We answer the longstanding question, whether $\kappa = \kappa^{<\kappa} \geq\aleph_1$…

In this paper we investigate more characterizations and applications of $\delta$-strongly compact cardinals. We show that, for a cardinal $\kappa$ the following are equivalent: (1) $\kappa$ is $\delta$-strongly compact, (2) For every…

We give another proof that for every lambda >= beth_omega for every large enough regular kappa < beth_omega we have lambda^{[kappa]}= lambda, dealing with sufficient conditions for replacing beth_omega by aleph_omega. In section 2 we show…

Dobrinen, Hathaway and Prikry studied a forcing $\mathbb{P}_\kappa$ consisting of perfect trees of height $\lambda$ and width $\kappa$ where $\kappa$ is a singular $\omega$-strong limit of cofinality $\lambda$. They showed that if $\kappa$…

This paper focuses on using the first curvature $\kappa(t)$ of trajectory to describe the stability of linear time-invariant system. We extend the results for two and three-dimensional systems [Y. Wang, H. Sun, Y. Song et al.,…

We prove local well-posedness for the Muskat problem on the half-plane, which models motion of an interface between two fluids of distinct densities (e.g., oil and water) in a porous medium (e.g., an aquifer) that sits atop an impermeable…

Assume $\kappa = \kappa^{< \kappa}$ (usually $\aleph_0$ or an inaccessible). We shall deal with iterated forcings preserving ${}^{\kappa>}{\rm Ord}$ and not collapsing cardinals along a linear order $L$. A sufficient condition for this,…

For a class of non-symmetric non-local L\'evy-type operators $\mathcal{L}^{\kappa}$, which include those of the form $$ \mathcal{L}^{\kappa}f(x):= \int_{\mathbb{R}^d}( f(x+z)-f(x)- 1_{|z|<1} \left<z,\nabla f(x)\right>)\kappa(x,z)J(z)\,…

Let $\kappa$ be any regular cardinal. Assuming the existence of a huge cardinal above $\kappa$, we prove the consistency of $\binom{\kappa^{++}}{\kappa^+}\rightarrow\binom{\tau}{\kappa^+}$ for every ordinal $\tau<\kappa^{++}$. Likewise, we…

When a fluid is constrained to a fixed, finite volume, the conditions for liquid-vapor equilibrium are different from the infinite volume or constant pressure cases. There is even a range of densities for which no bubble can form, and the…

Let $X$ be a smooth projective surface over the complex number field and let $L$ be a nef-big divisor on $X$. Here we consider the following conjecture; If the Kodaira dimension $\kappa(X)\geq 0$, then $K_{X}L\geq 2q(X)-4$, where $q(X)$ is…

The current paper answers an open question of abs/1007.2426 We say that a countable model M characterizes an infinite cardinal kappa, if the Scott sentence of M has a model in cardinality kappa, but no models in cardinality kappa plus. If M…

This work is a part of my upcoming thesis [7]. We establish an equiconsistency between (1) weak indestructibility for all $\kappa +2$-degrees of strength for cardinals $\kappa $ in the presence of a proper class of strong cardinals, and (2)…

A general upper bound for topological entropy of switched nonlinear systems is constructed, using an asymptotic average of upper limits of the matrix measures of Jacobian matrices of strongly persistent individual modes, weighted by their…

In this paper, we establish Schauder's estimates for the following non-local equations in \mR^d : $$ \partial_tu=\mathscr L^{(\alpha)}_{\kappa,\sigma} u+b\cdot\nabla u+f,\ u(0)=0, $$ where $\alpha\in(1/2,2)$ and $ b:\mathbb R_+\times\mathbb…

Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…

We consider the quadratic nonlinear Schr\"{o}dinger system (NLS system) \begin{align*}\begin{cases} i\partial_t u + \Delta u = v \overline{u}, \\ i\partial_t v+\kappa \Delta v = u^2, \end{cases} \text{ on } I \times \mathbb{R}^5,…

Let K^0_lambda be the class of structures < lambda,<,A>, where A subseteq lambda is disjoint from a club, and let K^1_lambda be the class of structures < lambda,<,A>, where A subseteq lambda contains a club. We prove that if lambda =…

We introduce reflection properties of cardinals in which the attributes that reflect are expressible by infinitary formulas whose lengths can be strictly larger than the cardinal under consideration. This kind of generalized reflection…