Related papers: On Shehtman's Two Problems
We use techniques originating from the subdiscipline of mathematical logic called `proof mining' to provide rates of metastability and - under a metric regularity assumption - rates of convergence for a subgradient-type algorithm solving…
We study the topological $\mu$-calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability and FMP over general topological spaces, as well as over $T_0$ and $T_D$ spaces. We also investigate…
We consider the two-body problem in post-Newtonian approximations of general relativity. We report the recent results concerning the equations of motion, and the associated Lagrangian formulation, of compact binary systems, at the third…
We initiate the study of the finiteness condition $\int_{\Omega}u(x)^{-\beta}\,dx\leq C(\Omega,\beta)<+\infty$ where $\Omega\subseteq{\mathbb{R}}^n$ is an open set and $u$ is the solution of the Saint Venant problem $\Delta u=-1$ in…
A new approach is introduced for deriving a mixed variational formulation for Kirchhoff plate bending problems with mixed boundary conditions involving clamped, simply supported, and free boundary parts. Based on a regular decomposition of…
The following is an open problem in topology: Determine whether the Stone-\v{C}ech compactification of a widely-connected space is necessarily an indecomposable continuum. Herein we describe properties of $X$ that are necessary and…
We extend the two-variable logic on data words with guarded regular binary predicates of the form $\widetilde{L}(x,y)$ that is true if positions $x$ and $y$ are in the same class and the factor strictly between $x$ and $y$ is in the regular…
By using a selective filtration argument, we prove that the satisfiability problem of the unimodal logic of density is in $EXPTIME$. By using a tableau-like approach, we prove that the satisfiability problem of the bimodal logic of weak…
The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic $\vDash_{\Delta}$ associated with an infinitary variety $\Delta$ and show…
We study bounded domains $\Omega\subset\mathbb{C}^n$ whose Bergman metric is locally symmetric, i.e. its Riemannian curvature tensor is parallel with respect to the Levi-Civita connection. Following the strategy developed in…
We provide theoretical analyses for two algorithms that solve the regularized optimal transport (OT) problem between two discrete probability measures with at most $n$ atoms. We show that a greedy variant of the classical Sinkhorn…
We combine the concepts of modal logics and many-valued logics in a general and comprehensive way. Namely, given any finite linearly ordered set of truth values and any set of propositional connectives defined by truth tables, we define the…
We consider the Stefan problem, firstly with regular data and secondly with irregular data. In both cases is given a proof for the convergence of an approximation obtained by regularising the problem. These proofs are based on weak…
Group theoretical methods are used to study the equations describing \chi^{(2)}:\chi^{(2)} cascading. The equations are shown not to be integrable by inverse scattering techniques. On the other hand, these equations do share some of the…
When Einstein's equations for an asymptotically flat, vacuum spacetime are reexpressed in terms of an appropriate conformal metric that is regular at (future) null infinity, they develop apparently singular terms in the associated conformal…
In the setting of a metric space equipped with a doubling measure supporting a $(1,1)$-Poincar\'e inequality, we study the problem of minimizing the BV-energy in a bounded domain $\Omega$ of functions bounded between two obstacle functions…
We show that the rational Novikov conjecture for a group $\Gamma$ of finite homological type follows from the mod 2 acyclicity of the Higson compactifcation of an E$\Gamma$. We then show that for groups of finite asymptotic dimension the…
We consider the H\"older regularity of solutions to the steady Boltzmann equation with in-flow boundary condition in bounded and strictly convex domains $\Omega\subset\mathbb{R}^{3}$ for gases with cutoff soft potential $(-3<\gamma<0)$. We…
We show that C_2-cofiniteness is enough to prove a modular invariance property of vertex operator algebras without assuming the semisimplicity of Zhu algebra. For example, if a VOA V=\oplus_{m=0}^{\infty}V_m is C_2-cofinite, then the space…
We prove that any countable support iteration formed with posets with $\omega_2$-p.i.c.\ has $\omega_2$-c.c., assuming CH in the ground model and assuming also that $\omega_1$ is not collapsed. This improves earlier results of Shelah by…