Related papers: Super Unique Tarski is in UEOPL
Tarski's undefinability theorem states that a formal system based on conventional predicate logic (PL) cannot talk about its own truth predicate. PL is, however, not the only formal language imaginable. In this paper, it will be shown that…
The criterion for a point in the unit ball to be a strongly exposed point is given. The necessity and sufficiency conditions for Orlicz-Lorentz spaces to possess strongly exposed property are given. Besides, some useful methods are obtained…
In this paper we prove that the condition one-to-one of continuous open-resolvable mapping is necessary in the Ostrovsky's Theorem. Also we get that the Ostrovsky's Problem (Is every open-LCn function between Polish spaces piecewise open…
We consider finite element approximations of unique continuation problems subject to elliptic equations in the case where the normal derivative of the exact solution is known to reside in some finite dimensional space. To give quantitative…
Give deterministic necessary and sufficient conditions to guarantee that if a subspace fits certain partially observed data from a union of subspaces, it is because such data really lies in a subspace. Furthermore, Give deterministic…
In this work, we deal with existence and uniqueness of positive solution $u_s$ for the singular quasilinear problem $(-\Delta_{\Phi})^su=u^{-\gamma}$ in the nonreflexive fractional Orlicz-Sobolev $ W^{s}_0L^{\Phi}(\Omega)$ for $0<s<1$.…
We explore new interactions between finite model theory and classical streams of universal algebra and semigroup theory. A key result is an example of finite algebras whose variety is not finitely axiomatisable in first order logic, but…
In a recent paper [3], Bakalov and Milanov proved that the total descendant potential of a simple singularity satisfies the W-constraints, which come from the W-algebra of the lattice vertex algebra associated to the root lattice of this…
We explore systems of polynomial equations where we seek complex solutions with absolute value 1. Geometrically, this amounts to understanding intersections of algebraic varieties with tori -- Cartesian powers of the unit circle. We study…
We present a series of recent results on the well-posedness of very singular parabolic stochastic partial differential equations. These equations are such that the question of what it even means to be a solution is highly non-trivial. This…
The aim of this paper is to establish some results regarding Infinite Iterated Function Systems with the help of the Tarski-Kantorovitch fixed-point principles for maps on partially ordered sets. To this end we introduce two new classes of…
In this article new bounds for the convergence exponent of the two dimensional Tarry's problem are given.
The purpose of this note is to prove that there is an algebraic stack U parameterizing all curves. The curves that appear in the algebraic stack U are allowed to be arbitrarily singular, non-reduced, disconnected, and reducible. We also…
We consider the ideal orientation problem in planar graphs. In this problem, we are given an undirected graph $G$ with positive edge lengths and $k$ pairs of distinct vertices $(s_1, t_1), \dots, (s_k, t_k)$ called terminals, and we want to…
A system of singularly perturbed ordinary differential equations of first order with given initial conditions is considered. The leading term of each equation is multiplied by a small positive parameter. These parameters are assumed to be…
We prove the existence and uniqueness up to translations of the solution to a Minkowski type problem for the torsional rigidity in the class of open bounded convex subsets of the $n$-dimensional Euclidean space. For the existence part we…
Motivated by tug-of-war games and asymptotic analysis of certain variational problems, we consider a gradient constraint problem involving the infinity Laplace operator. We prove that this problem always has a solution that is unique if a…
Consider a spherically symmetric spacelike slice through a spherically symmetric spacetime. One can derive a universal bound for the optical scalars on any such slice. The only requirement is that the matter sources satisfy the dominant…
Let G be a finite abelian subgroup of SL(n,C), and suppose there exists a toric crepant resolution phi: X -- > C^n/G. We prove that for each component E of the exceptional set of phi there exists an open subset U of X that contains E and is…
We present and expand some existing results on the Zariski closure of cyclic groups and semigroups of matrices. We show that, with the exclusion of isolated points, their irreducible components are toric varieties. Additionally, we…