Related papers: On Shehtman's Two Problems
We derive the quantitative modulus of continuity $$ \omega(r)=\left[ p+\ln \left( \frac{r_0}{r} \right) \right]^{-\alpha (n,p)}, $$ which we conjecture to be optimal, for solutions of the $p$-degenerate two-phase Stefan problem. Even in the…
We consider the satisfiability problem for the two-variable fragment of the first-order logic extended with modulo counting quantifiers and interpreted over finite words or trees. We prove a small-model property of this logic, which gives a…
This paper generalizes the 1977 paper of V.B. Shehtman, which constructed the first Kripke incomplete intermediate logic, by presenting a continuum of such logics. This version fixes an error in my simplified proof of incompleteness of…
Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard…
We establish the asymptotic stability of smooth solitons and multi-solitons for the Camassa-Holm (CH) equation in the energy space $H^1(\R)$. We show that solutions initially close to a soliton converge, up to translation, weakly in…
Extending the approach of Grillakis-Shatah-Strauss, Bronski-Johnson-Kapitula, and others for Hamiltonian systems, we explore relations between the constrained variational problem $\min_{X:C(X)=c_0} \mathcal{E}(X)$, $c_0\in \RM^r$, and…
We carry out a systematic, topos-theoretically inspired, investigation of Wallman compactifications with a particular emphasis on their relations with Gelfand spectra and Stone-Cech compactifications. In addition to proving several specific…
We investigate the Cauchy problem for linear elliptic operators with $C^\infty$-coefficients at a regular set $\Omega \subset R^2$, which is a classical example of an ill-posed problem. The Cauchy data are given at the manifold $\Gamma…
This is the second of two papers that describe a compactness theorem for sequences of solutions of certain SL(2;C) analogs of the anti-self dual equations on oriented, 4-dimensional Riemannian manifolds. This paper proves theorems that…
For a finitely-generated vertex operator algebra of central charge c, a locally convex topological completion is constructed. We construct on the completion a structure of an algebra over the operad of the c/2-th power of the determinant…
We discuss some well-known compactness principles for uncountable structures of small regular sizes ($\omega_n$ for $2 \le n<\omega$, $\aleph_{\omega+1}$, $\aleph_{\omega^2+1}$, etc.), consistent from weakly compact (the size-restricted…
The construction of self-dual vortex solutions to the Chern-Simons-Higgs model (with a suitable eighth-order potential) coupled to Einstein gravity in (2 + 1) dimensions is reconsidered. We show that the self-duality condition may be…
The aim of the paper is to introduce an alternative notion of two-scale convergence which gives a more natural modeling approach to the homogenization of partial differential equations with periodically oscillating coefficients: while…
We study the solutions of a generalized Allen-Cahn equation deduced from a Landau energy functional, endowed with a non-constant higher order stiffness. We analytically solve the stationary problem and deduce the existence of so-called…
We present a simple resolution proof system for higher-order constrained Horn clauses (HoCHC) - a system of higher-order logic modulo theories - and prove its soundness and refutational completeness w.r.t. the standard semantics. As…
We argue that the finiteness of quantum gravity amplitudes in fully compactified theories (at least in supersymmetric cases) leads to a bottom-up prediction for the existence of non-trivial dualities. In particular, finiteness requires the…
We find the N-soliton solution at infinite theta, as well as the metric on the moduli space corresponding to spatial displacements of the solitons. We use a perturbative expansion to incorporate the leading 1/theta corrections, and find an…
The possibility of extending operations of topological and semitopological algebras to their Stone-\v{C}ech compactification and factorization of continuous functions through homomorphisms to metrizable algebras are investigated. Most…
We apply domino problems to give short proofs for some known theorems for the classical predicate logic and to obtain lower bounds for complexity of modal predicate logics defined by Noetherian orders as Kripke frames.
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theorem. We show that it has a PSPACE-complete satisfiability problem…