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

We use weighted polynomial approximation to prove the existence of a compact set K with non-empty interior and a function f is dense in the space A(K) of all continuous functions on K that are holomorphic in the interior of K, endowed with…

In this paper, we prove rigidity results on gradient shrinking Ricci solitons with weakly harmonic Weyl curvature tensors. Let $(M^n, g)$ be a compact gradient shrinking Ricci soliton satisfying ${\rm Ric}_g + Ddf = \rho g$ with $\rho >0$…

We establish the consistency of the failure of the diamond principle on a cardinal $\kappa$ which satisfies a strong simultaneous reflection property. The result is based on an analysis of Radin forcing, and further leads to a…

With every locally compact group $G$, one can associate several interesting bi-invariant subspaces $X(G)$ of the weakly almost periodic functions $\mathrm{WAP}(G)$ on $G$, each of which captures parts of the representation theory of $G$.…

We consider the kinetic Fokker-Planck equation with weak confinement force. We proved some (polynomial and sub-exponential) rate of convergence to the equilibrium (depending on the space to which the initial datum belongs). Our results…

Unique continuation results are proved for metrics with prescribed Ricci curvature in the setting of bounded metrics on compact manifolds with boundary, and in the setting of complete, conformally compact metrics. Related to this issue, an…

In this paper we develop some new techniques to study the multiscale elliptic equations in the form of $-\text{div} \big(A_\varepsilon \nabla u_{\varepsilon} \big) = 0$, where $A_\varepsilon(x) = A(x, x/\varepsilon_1,\cdots,…

A regularity lemma for polynomials provides a decomposition in terms of a bounded number of approximately independent polynomials. Such regularity lemmas play an important role in numerous results, yet suffer from the familiar shortcoming…

We establish the convergence to the equilibrium for various linear collisional kinetic equations (including linearized Boltzmann and Landau equations) with physical local conservation laws in bounded domains with general Maxwell boundary…

In the present paper, we show that given a compact K\"ahler manifold $(X,\omega)$ with a K\"ahler metric $\omega$, and a complex submanifold $V\subset X$ of positive dimension, if $V$ has a holomorphic retraction structure in $X$, then any…

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…

A type-2 computable real function is necessarily continuous; and this remains true for relative, i.e. oracle-based computations. Conversely, by the Weierstrass Approximation Theorem, every continuous f:[0,1]->R is computable relative to…

We extend the complete ordered set Dana Scott's $D_\infty$ to a complete weakly ordered Kan complex $K_\infty$, with properties that guarantee the non-equivalence of the interpretation of some higher conversions of $\beta\eta$-conversions…

We provide a simple criterion for a non-singular and conservative Bernouilli action to have a weakly mixing Maharam extension. As an application, we show that every countable amenable group admits a stable type III_1 Bernoulli action,…

We prove global existence, uniqueness and stability of entropy solutions with $L^2\cap L^\infty$ initial data for a general family of negative order dispersive equations. It is further demonstrated that this solution concept extends in a…

We show that the class of sofic actions is closed under direct products and contains a (non-unique) maximal element in the weak containment order. For any sofic group we construct nice sofic approximations such that all the sofic actions…

In this paper we prove weak L^{1,p} (and thus C^{\alpha}) compactness for the class of uniformly mean-convex Riemannian n-manifolds with boundary satisfying bounds on curvature quantities, diameter, and (n-1)-volume of the boundary. We…

We investigate a model-theoretic property that generalizes the classical notion of "preservation under substructures". We call this property \emph{preservation under substructures modulo bounded cores}, and present a syntactic…

In this paper, we prove first that the iterates of a mean nonexpansive map defined on a weakly compact, convex set converge weakly to a fixed point in the presence of Opial's property and asymptotic regularity at a point. Next, we prove the…

We investigate the quantitative unique continuation properties of solutions to second-order elliptic equations with lower-order terms. In particular, we establish quantitative forms of the strong unique continuation property for solutions…