相关论文: Strong downward L\"owenheim-Skolem theorems for st…

Although quantitative stability for critical points of the Sobolev and fractional Sobolev inequalities has been extensively studied, the corresponding stability theory for critical points of the Hardy--Littlewood--Sobolev (HLS) inequality…

We prove the following continuous analogue of Vaught's Two-Cardinal Theorem: if for some $\kappa>\lambda\geq \aleph_0$, a continuous theory $T$ has a model with density character $\kappa$ which has a definable subset of density character…

We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by $Loc({\rm ZFC})$, says that every set belongs to a transitive model of ZFC. LZFC consists of $Loc({\rm ZFC})$ plus…

Uhlenbeck's compactness theorem can be used to analyze sequences of connections with anti-self dual curvature on principal SU(2) bundles over oriented 4-dimensional manifolds. The theorems in this paper give an extension of Uhlenbeck's…

We show that the existence of constant scalar curvature K\"ahler (cscK) metrics with cone singularities is equivalent to the properness of log $K$-energy. We also prove their equivalence to the geodesic stability. They are extensions of the…

Obtaining precise theoretical predictions for both production and decay processes of heavy new particles is of great importance to constrain the allowed parameter spaces of Beyond-the-Standard-Model (BSM) theories, and to properly assess…

We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second…

In this article we establish two fundamental results for the sublevel set persistent homology for stationary processes indexed by the positive integers. The first is a strong law of large numbers for the persistence diagram (treated as a…

Langrange duality theorems for vector and set optimization problems which are based on an consequent usage of infimum and supremum (in the sense greatest lower and least upper bounds with respect to a partial ordering) have been recently…

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…

A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to…

We show that it is consistent relative to a weakly compact cardinal that strong homology is additive and compactly supported within the class of locally compact separable metric spaces. This complements work of Marde\v{s}i\'{c} and Prasolov…

We consider a random conductance model on the $d$-dimensional lattice, $d\in[2,\infty)\cap\mathbb{N}$, where the conductances take values in $(0,\infty)$ and are however not assumed to be bounded from above and below. We assume that the law…

This paper focuses on systems of nonlinear second-order stochastic differential equations with multi-scales. The motivation for our study stems from mathematical physics and statistical mechanics, for examples, Langevin dynamics and…

Under reasonable algebraic assumptions and under an infinite second order moment assumption, we show that the logarithm of the norm (log-norm) of a product of random i.i.d. matrices with entries in $\mathbb{R}$ or in any other local field…

We prove from the existence of a Mahlo cardinal the consistency of the statement that $2^\omega = \omega_3$ holds and every stationary subset of $\omega_2 \cap \mathrm{cof}(\omega)$ reflects to an ordinal less than $\omega_2$ with…

This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in…

After discussing the limitations inherent to all set-theoretic reflection principles akin to those studied by A. L\'evy et. al. in the 1960's, we introduce new principles of reflection based on the general notion of \emph{Structural…

We introduce a category whose objects are stationary set preserving complete boolean algebras and whose arrows are complete homomorphisms with a stationary set preserving quotient. We show that the cut of this category at a rank initial…

We establish new Liouville-type theorems for the stationary Navier-Stokes equations in $\mathbb{R}^3$. A central open problem in this context is whether the classical $L^{9/2}(\mathbb{R}^3)$ condition of G.Galdi can be relaxed. In this note…