Related papers: On Shehtman's Two Problems

Let $\Omega\subset \mathbb{C}^n$ for $n\geq 2$ be a bounded pseudoconvex domain with a $C^2$-smooth boundary. We study the compactness of composition operators on the Bergman spaces of smoothly bounded convex domains. We give a partial…

We study the finite theta correction to the metric of the moduli space of noncommutative multi-solitons in scalar field theory in (2+1) dimensions. By solving the equation of motion up to order O(theta^{-2}) explicitly, we show that the…

We prove the global-time existence of weak solutions to the supercooled Stefan problem. Our result holds in general space dimensions and with a general class of initial data. In addition, our solution is maximal in the sense of a certain…

We provide two proofs of the compactness theorem for extensions of first-order logic based on team semantics. First, we build upon L\"uck's ultraproduct construction for team semantics and prove a suitable version of {\L}o\'s' Theorem.…

It is a classic result in modal logic that the category of modal algebras is dually equivalent to the category of descriptive frames. The latter are Kripke frames equipped with a Stone topology such that the binary relation is continuous.…

We investigate the extent of second order characterizable structures by extending Shelah's Main Gap dichotomy to second order logic. For this end we consider a countable complete first order theory T. We show that all sufficiently large…

We study the chemotaxis-fluid system \begin{align*} \left\{ \begin{array}{r@{\,}c@{\,}c@{\ }l@{\quad}l@{\quad}l@{\,}c} n_{t}&+&u\cdot\!\nabla n&=\Delta n-\nabla\!\cdot(\frac{n}{c}\nabla c),\ &x\in\Omega,& t>0, c_{t}&+&u\cdot\!\nabla…

For every natural number $ n $, any continuous function on the product of $ X_1 \times X_2 \times ... \times X_n $ pseudocompact spaces extends to a separately continuous function on the product $ \beta X_1 \times \beta X_2 \times ...…

In the first part of this thesis, we study the Yamabe problem with singularities, that we can announce as follow: Given a compact Riemannian manifold $(M,g)$, find a constant scalar curvature metric, conformal to $g$, when $g$ has not…

We show that, for a fixed order $\gamma\geq 1$, each local minimizer of a rather general nonsmooth optimization problem in Euclidean spaces is either M-stationary in the classical sense (corresponding to stationarity of order $1$),…

Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model…

By iterative techniques,we present two fixed point theorems, whose modular formulations are relatively close to the Banach's fixed point theorem in the normed spaces.The first result concerns the fixed point of the strongly contraction…

Assuming that $0<\chi<\sqrt{\frac{2}n}$, $\kappa\ge 0$ and $\mu>\frac{n-2}{n}$, we prove global existence of classical solutions to a chemotaxis system slightly generalizing \[ \begin{split} u_t &= \Delta u - \chi \nabla\cdot ( \frac{u}{v}…

The finite satisfiability problem of monadic second order logic is decidable only on classes of structures of bounded tree-width by the classic result of Seese (1991). We prove the following problem is decidable: Input: (i) A monadic second…

Working in the context of restricted forms of the Axiom of Choice, we consider the problem of splitting the ordinals below $\lambda$ of cofinality $\theta$ into $\lambda$ many stationary sets, where $\theta < \lambda$ are regular cardinals.…

The space $S_\kappa$ is the Stone space of the $\kappa$-saturated Boolean algebra of cardinality $\kappa$. It exists provided that $\kappa = \kappa^{<\kappa}$, and is characterised topologically as the unique $\kappa$-Parovichenko space of…

We prove existence of a global conservative solution of the Cauchy problem for the two-component Camassa-Holm (2CH) system on the line, allowing for nonvanishing and distinct asymptotics at plus and minus infinity. The solution is proven to…

Modal dependence logic was introduced recently by V\"a\"an\"anen. It enhances the basic modal language by an operator =(). For propositional variables p_1,...,p_n, =(p_1,...,p_(n-1);p_n) intuitively states that the value of p_n is…

We consider the problem $$ \epsilon^2 \Delta u-V(y)u+u^p\,=\,0,~~u>0~~\quad\mbox{in}\quad\Omega,~~\quad\frac {\partial u}{\partial \nu}\,=\,0\quad\mbox{on}~~~\partial \Omega, $$ where $\Omega$ is a bounded domain in $\mathbb R^2$ with…

In this paper, we want to establish some general results in the Lorentzian optimal transport theory that have well-known Riemannian counterparts. As a first result, we will provide non-trivial assumptions on the measures to ensure strong…