相关论文: More conservativity for weak K\H{o}nig's lemma

We consider the Schr\"odinger equation with singular position dependent effective mass and prove that it is very weakly well posed. A uniqueness result is proved in an appropriate sense, moreover, we prove the consistency with the classical…

We generalize the notion of an exact category and introduce weakly exact categories. A proof of the snake lemma in this general setting is given. Some applications are given to illustrate how one can do homological algebra in a weakly exact…

The classical homomorphism preservation theorem, due to {\L}o\'s, Lyndon and Tarski, states that a first-order sentence $\phi$ is preserved under homomorphisms between structures if, and only if, it is equivalent to an existential positive…

The notion of stationary reflection is one of the most important notions of combinatorial set theory. We investigate weak reflection, which is, as the name suggests, a weak version of stationary reflection. This sort of reflection was…

We prove the strong $C^\infty$ closing property, as formulated by Irie, for a class of Hamiltonian diffeomorphisms which includes all pseudo-rotations of projective spaces as well as all Anosov-Katok pseudo-rotations.

We prove that amenability of a unitary co-representation $U$ of a locally compact quantum group passes to unitary co-representations that weakly contain $U$. This generalizes a result of Bekka, and answers affirmatively a question of…

We establish the validity of a strong unique continuation property for weakly coupled elliptic systems, including competitive ones. Our proof exploits the system structure and uses Carleman estimates. We apply this result to obtain some…

In this paper, we prove some rigidity results for both shrinking and expanding Ricci solitons. First, we prove that compact shrinking Ricci solitons are Einstein if we control the maximum value of the potential function. Then, we prove some…

It is well known that the classic {\L}o\'s-Tarski preservation theorem fails in the finite: there are first-order definable classes of finite structures closed under extensions which are not definable (in the finite) in the existential…

A probability-measure-preserving transformation has the Weak Pinsker Property (WPP) if for every $\epsilon>0$ it is measurably conjugate to the direct product of a transformation with entropy $<\epsilon$ and a Bernoulli shift. In a recent…

In this paper, we establish a logarithmic vanishing theorem on weakly pseudoconvex K\"ahler manifolds, where the divisor may have infinitely many irreducible components. This result serves as a generalization of Norimatsu's findings on…

We extend Bony's propagation of support argument \cite{Bony} to $C^1$ solutions of the non-homogeneous sub-elliptic $p-$Laplacian associated to a system of smooth vector fields satisfying H\"ormander's finite rank condition. As a…

Motivated by recent work of Boney, Dimopoulos, Gitman and Magidor, we characterize the existence of weak compactness cardinals for all abstract logics through combinatorial properties of the class of ordinals. This analysis is then used to…

For $0\leqslant \xi\leqslant \omega_1$, we define the notion of $\xi$-weakly precompact and $\xi$-weakly compact sets in Banach spaces and prove that a set is $\xi$-weakly precompact if and only if its weak closure is $\xi$-weakly compact.…

We answer Klop and de Vrijer's question whether adding surjective-pairing axioms to the extensional lambda calculus yields a conservative extension. The answer is positive. As a byproduct we obtain a "syntactic" proof that the extensional…

We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known…

The weak Haagerup property for locally compact groups and the weak Haagerup constant was recently introduced by the second author. The weak Haagerup property is weaker than both weak amenability introduced by Cowling and the first author…

In this paper, we prove that the existence and uniqueness of globally weak solutions to the Cauchy problem for the weakly dissipative Camassa-Holm equation in time weighted $H^1$ space. First, we derive an equivalent semi-linear system by…

A cardinal $\lambda$ satisfies a property P robustly if, whenever $\mathbb{Q}$ is a forcing poset and $|\mathbb{Q}|^+ < \lambda$, $\lambda$ satisfies P in $V^{\mathbb{Q}}$. We study the extent to which certain reflection properties of large…

In this paper, we prove the uniqueness of energy conservative Holder continuous weak solution to a general quasilinear wave equation by the analysis of characteristics. This result has no restriction on the size of solutions, i.e. it is a…