Related papers: Insolvability of $x^x = a$ in elementary functions
We develop a Fourier analysis for a generalization of the class of periodic functions, often referred to as $(\theta, T)$-periodic functions, and prove several properties and inequalities related to the Fourier transform, including a type…
For some integrable systems, such as the open Toda molecule, the spectral curve of the Lax representation becomes the graph $C = \{(\lambda,z) \mid z = A(\lambda)\}$ of a function $A(\lambda)$. Those integrable systems provide an…
The usage of eXplainable Artificial Intelligence (XAI) methods has become essential in practical applications, given the increasing deployment of Artificial Intelligence (AI) models and the legislative requirements put forward in the latest…
In this paper we show that if X is an infinite compactum cleavable over an ordinal, then X must be homeomorphic to an ordinal. X must also therefore be a LOTS. This answers two fundamental questions in the area of cleavability. We also…
Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…
Topological models of empirical and formal inquiry are increasingly prevalent. They have emerged in such diverse fields as domain theory [1, 16], formal learning theory [18], epistemology and philosophy of science [10, 15, 8, 9, 2],…
From the algebraic solution of $x^{n}-x+t=0$ for $n=2,3,4$ and the corresponding solution in terms of hypergeometric functions, we obtain a set of reduction formulas for hypergeometric functions. By differentiation and integration of these…
We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable…
We generalize and complete some of Maxim's recent results on Alexander invariants of a polynomial transversal to the hyperplane at infinity. Roughly speaking, and surprisingly, such a polynomial behaves both topologically and algebraically…
Using a novel rewriting problem, we show that several natural decision problems about finite automata are undecidable (i.e., recursively unsolvable). In contrast, we also prove three related problems are decidable. We apply one result to…
The main aim of the present paper is to introduce new classes of functions called $ \alpha $ $^m $ continuous maps and $ \alpha $ $^m $ irresolute maps. We obtain some characterizations of these classes and properties are studied.
This paper deals with some inequalities for trigonometric and hyperbolic functions such as the Jordan inequality and its generalizations. In particular, lower and upper bounds for functions such as (sin x)/x and x/(sinh x) are proved.
Standard interpretations of Goedel's "undecidable" proposition, [(Ax)R(x)], argue that, although [~(Ax)R(x)] is PA-provable if [(Ax)R(x)] is PA-provable, we may not conclude from this that [~(Ax)R(x)] is PA-provable. We show that such…
We study the continuous solutions of several classical functional equations by using the properties of the spaces of continuous functions which are invariant under some elementary linear trans-formations. Concretely, we use that the sets of…
The general/finite PCTL satisfiability problem asks whether a given PCTL formula has a general/finite model. We show that the finite PCTL satisfiability problem is undecidable, and the general PCTL satisfiability problem is even highly…
We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is…
Under certain general conditions, an explicit formula to compute the greatest delta-epsilon function of a continuous function is given. From this formula, a new way to analyze the uniform continuity of a continuous function is given.…
This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…
We consider time fractional parabolic equations in both divergence and non-divergence form when the leading coefficients $a^{ij}$ are measurable functions of $(t,x_1)$ except for $a^{11}$ which is a measurable function of either $t$ or…
This paper deals with functional equations in the form of $f(x) + g(y) = h(x,y)$ where $h$ is given and $f$ and $g$ are unknown. We will show that if $h$ is a Borel measurable function associated with characterizations of the uniform or…