Related papers: Insolvability of $x^x = a$ in elementary functions
It is open whether equivalence ( f = g ) is decidable for string-to-string polyregular functions. We consider their higher-order extension based on the {\lambda}-calculus definition of polyregular functions from Boja\'nczyk (2018). In this…
The work presents the brief exposition of the proof (in ZF) of inaccessible cardinals nonexistence. To this end in view there is used the apparatus of subinaccessible cardinals and its basic tools -- reduced formula spectra and matrices and…
We consider a semi-algebraic function defined on a closed semi-algebraic set X. We give formulas relating the topology of X to the indices of the critical points of the function and to the topological behavior of the function at infinity.…
We study the solvability of a class of fully nonlinear equations on the flat torus. The equations arise in the study of some Calabi-Yau type problems in torus bundles.
In an attempt to regularize a previously known exactly solvable model [Yang and Zhang, Eur. J. Phys. \textbf{40}, 035401 (2019)], we find yet another exactly solvable toy model. The interesting point is that while the Hamiltonian of the…
Over an algebraically closed field, we describe the affine varieties of solutions to the linear equations $a(xb)=c$ and $a(bx)=c$ over the split-octonions. We also determine the dimensions of the solution sets of arbitrary linear monomial…
In the paper it is demonstrated that Bells theorem is an unprovable theorem.
We provide an alternative, simpler proof of the existence of thick triangulations for noncompact $\mathcal{C}^1$ manifolds. Moreover, this proof is simpler than the original one given in \cite{pe}, since it mainly uses tools of elementary…
We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and…
The classical approach to solvability of a mathematical problem is to define a method which includes certain rules of operation or algorithms. Then using the defined method, one can show that some problems are solvable or not solvable or…
We show that a function $\tan(1/it)$ is a Pick function (free-infinitely divisible transform) and indicate its connections with a probability. Moreover, we found its "counterpart" in classical infinitely divisible measures expressed as…
This paper examines the application of Tarski's Undefinability Theorem to first-order arithmetic. The generally accepted view is that for this case the Theorem establishes that arithmetic truth is not arithmetic. A careful examination of…
Conditions for the unique solvability of the Cauchy problem for a family of scalar functional differential equations are obtained. These conditions are sufficient for the solvability of the Cauchy problem for every equation from the family…
Our purpose in this paper is to prove, under some regularity conditions on the datas, the solvability in a Gevrey class of bound -1 on the interval [-1,1] of a class of nonlinear fractional functional differential equations.
We study elementary modal logics, i.e. modal logic considered over first-order definable classes of frames. The classical semantics of modal logic allows infinite structures, but often practical applications require to restrict our…
It is still not known whether a solution to the incompressible Euler equation, endowed with a smooth initial value, can blow-up in finite time. In [{\em Comm. Math. Phys.}, 378:557--568, 2020] it has been shown that, if it exists, such a…
We prove a uniqueness theorem for a large class of functional equations in the plane, which resembles in form a classical result of Aczel. It is also shown that functional equations in this class are overdetermined in the sense of Paneah.…
A family of asymptotic solutions at infinity for the system of ordinary differential equations is considered. Existence of exact solutions which have these asymptotics is proved.
We will prove that a function u(x,y) defined on a domain of RpxRq that is subharmonic in one variable and harmonic in the other is (jointly) subharmonic. This solves a long-standing open problem.
The problem of root mean square approximation of a square integrable function by finite linear combinations of exponential functions is considered. It is subdivided into linear and nonlinear parts. The linear approximation problem is…