Related papers: On Shehtman's Two Problems

For an ordinal $\lambda>0$, we use the Erd\H{o}s--Rado partition theorem to prove the failure of strong completeness of $\mathsf{GL}$ for modal languages of cardinality $(2^{|\lambda|+\aleph_0})^{+}$ with respect to models on ordinals…

We prove in this paper that, under suitable coinditions on an initial data set, we can obtain Area and Curvature Estimates for simple marginally outer trapped surfaces (or MOTS). Using this estimates, we derive a Compactness Theorem for…

We study the geometry of unitary Shimura varieties without assuming the existence of an ordinary locus. We prove, by a simple argument, the existence of canonical subgroups on a strict neighborhood of the $\mu$-ordinary locus (with an…

The modal analysis is revisited through the symplectic formalism, what leads to two intertwined eigenproblems. Studying the properties of the solutions, we prove that they form a canonical basis. The method is general and works even if the…

The regular finite initial value problem at infinity is used to obtain regularity conditions on the freely specifiable parts of initial data for the vacuum Einstein equations with non-vanishing second fundamental form. These conditions…

We extend the results of Schapira and Schneiders on relative regularity and finiteness of elliptic pairs to the framework of $\shd[[\hbar]]$-modules and $\R$-constructible sheaves of $\C[[\h]]$-modules. We also construct a relative duality…

We consider the moduli space of the extremal K\"ahler metrics on compact manifolds. We show that under the conditions of two-sided total volume bounds, $L^{n\over2}$-norm bounds on $\Riem$, and Sobolev constant bounds, this Moduli space can…

We establish two duality theorems which refine the classical Stone duality between generalized Boolean algebras and locally compact Boolean spaces. In the first theorem we prove that the category of left-handed skew Boolean algebras whose…

We study both existence and nonexistence of nonnegative solutions for nonlinear elliptic problems with singular lower order terms that have natural growth with respect to the gradient, whose model is $$ \begin{cases} -\Delta u +…

Let $\alpha$ be an infinite ordinal and $\gamma$ the unique ordinal satisfying $\omega^{\omega^\gamma}\leq \alpha < \omega^{\omega^{\gamma+1}}$. We show that the Banach space $C([0,\,\alpha])$ of all continuous scalar-valued functions on…

We prove the convergence of certain second-order numerical methods to weak solutions of the Navier-Stokes equations satisfying in addition the local energy inequality, and therefore suitable in the sense of Scheffer and…

We study two variations of the classical one-delta problem for entire functions of exponential type, known also as the Carath\'eodory--Fej\'er--Tur\'an problem. The first variation imposes the additional requirement that the function is…

In this paper, we consider the following problem involving fractional Laplacian operator: \begin{equation}\label{eq:0.1} (-\Delta)^{\alpha} u= |u|^{2^*_\alpha-2-\varepsilon}u + \lambda u\,\, {\rm in}\,\, \Omega,\quad u=0 \,\, {\rm on}\, \,…

The Legendre transform expresses dynamics of a classical system through first-order Hamiltonian equations. We consider coherent state transforms with a similar effect in quantum mechanics: they reduce certain quantum Hamiltonians to…

In this paper a special semi-smooth equation associated to the second order cone is studied. It is shown that, under mild assumptions, the semi-smooth Newton method applied to this equation is well-defined and the generated sequence is…

We investigate the decidability of the definability problem for fragments of first order logic over finite words enriched with modular predicates. Our approach aims toward the most generic statements that we could achieve, which…

The Kaluza-Klein reduction of the 3d gravitational Chern-Simons term to a 2d theory is equivalent to a Poisson-sigma model with fourdimensional target space and degenerate Poisson tensor of rank 2. Thus two constants of motion (Casimir…

We generalize the Hart-Shelah example \cite{HaSh:323} to higher infinitary logics. We build, for each natural number $k\geq 2$ and for each infinite cardinal $\lambda$, a sentence $\psi_k^\lambda$ of the logic $L_{(2^\lambda)^+,\omega}$…

In this study, we devote our attention to the question of clarifying the existence of a weak solution to a class of quasilinear double-phase elliptic equations with logarithmic convection terms under some appropriate assumptions on data.…

We prove boundedness and inverse logarithmic decay in time of solutions to the Teukolsky equations on Schwarzschild-Anti-de Sitter backgrounds with standard boundary conditions originating from fixing the conformal class of the non-linear…