相关论文: Strong downward L\"owenheim-Skolem theorems for st…
We consider a second-order nonlocal parabolic MEMS equation with Dirichlet boundary conditions: \[ u_t-\Delta u=\frac{\lambda}{(1-u)^2\bigl(1+\int_\Omega\frac{1}{1-u}\,dx\bigr)^2},\quad x\in\Omega,\ t>0, \] where…
We like to develop model theory for $T$, a complete theory in $\mathbb{L}_{\theta,\theta}(\tau)$ when $\theta$ is a compact cardinal. By [Sh:300a] we have bare bones stability and it seemed we can go no further. Dealing with ultrapowers…
We investigate existence, Liouville type theorems and regularity results for the 3D stationary and incompressible fractional Navier-Stokes equations: in this setting the usual Laplacian is replaced by its fractional power…
The goal of these lecture notes is to present recent results regarding the large-scale behaviour of critical and super-critical non-linear stochastic PDEs, that fall outside the realm of the theory of Regularity Structures. These include…
After reviewing various natural bi-interpretations in urelement set theory, including second-order set theories with urelements, we explore the strength of second-order reflection in these contexts. Ultimately, we prove, second-order…
Given a strong limit cardinal $\lambda$ of countable cofinality, we show that if every $\lambda$-coanalytic subset of the generalised Cantor space ${}^{\lambda}2$ has the $\lambda$-$\mathsf{PSP}$, then there is an inner model with…
We prove a concise and easily verifiable criterion on the existence and global stability of stationary solutions for random dynamical systems (RDSs). As a consequence, we can show that the $\omega$-limit sets of all pullback trajectories of…
Dimensional reduction has proven to be a surprisingly powerful tool for delineating the boundary between the string landscape and the swampland. Bounds from the Weak Gravity Conjecture and the Repulsive Force Conjecture, for instance, are…
Accessible categories admit a purely category-theoretic replacement for cardinality: the internal size. Generalizing results and methods from arXiv:1708.06782, we examine set-theoretic problems related to internal sizes and prove several…
A stationary subset $S$ of a regular uncountable cardinal $\kappa$ {\it reflects fully} at regular cardinals if for every stationary set $T \subseteq \kappa$ of higher order consisting of regular cardinals there exists an $\alpha \in T$…
Recently, Dolbeault-Esteban-Figalli-Frank-Loss [20] established the optimal stability of the first-order $L^2$-Sobolev inequality with dimension-dependent constant. Subsequently, Chen-Lu-Tang [18] obtained the optimal stability for the…
There is a rich theory of existence theorems for minimizers over reflexive Sobolev spaces (ex. Eberlein-\v{S}mulian theorem). However, the existence theorems for many variational problems over non-reflexive Sobolev spaces remain…
We are interested in the question of stability in the field of shape optimization, with focus on the strategy using second order shape derivative. More precisely, we identify structural hypotheses on the hessian of the considered shape…
In two recent papers (math.LO/0003164 and math.LO/0003165) we answered a question raised in the book by Eklof and Mekler (p. 455, Problem 12) under the set theoretical hypothesis of diamondsuit_{aleph_1} which holds in many models of set…
Motivated by the recently proposed bounds on the slow-roll parameters for scalar potentials arising from string/M-theory compactifications, a.k.a. the Refined de Sitter Swampland conjecture, we explore the sharpness of such constraints…
We prove that, under suitable assumptions on a category C, the existence of supercompact cardinals implies that every absolute epireflective class of objects of C is a small-orthogonality class. More precisely, if L is a localization…
We examine the duality theory for a class of non-convex functions obtained by composing a convex function with a continuous one. Using Fenchel duality, we derive a dual problem that satisfies weak duality under general assumptions. To…
We unveil new patterns of Structural Reflection in the large-cardinal hierarchy below the first measurable cardinal. Namely, we give two different characterizations of strongly unfoldable and subtle cardinals in terms of a weak form of the…
We give an alternative proof of the Schoen--Simon--Yau curvature estimates and associated Bernstein-type theorems (1975), and extend the original result by including the case of $6$-dimensional (stable minimal) immersions. The key step is…
A natural construction of the logarithmic extension of the M(2,p) minimal models is presented, which generalises our previous model [0708.0802] of percolation (p=3). Its key aspect is the replacement of the minimal model irreducible modules…