Elementary analytic functions in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:mi mathvariant="sans-serif">VT</mml:mi><mml:msup><mml:mrow><mml:mi mathvariant="sans-serif">C</mml:mi></mml:mrow><mml:mrow><mml:mn mathvariant="sans-serif">0</mml:mn></mml:mrow></mml:msup></mml:math>
نویسندگان
چکیده
It is known that rational approximations of elementary analytic functions (exp, log, trigonometric, and hyperbolic functions, their inverse functions) are computable in the weak complexity class TC0. We show how to formalize construction basic properties these corresponding theory bounded arithmetic, VTC0.
منابع مشابه
A Subclass of Analytic Functions Associated with Hypergeometric Functions
In the present paper, we have established sufficient conditions for Gaus-sian hypergeometric functions to be in certain subclass of analytic univalent functions in the unit disc $mathcal{U}$. Furthermore, we investigate several mapping properties of Hohlov linear operator for this subclass and also examined an integral operator acting on hypergeometric functions.
متن کاملAn Elementary Approach to Some Analytic Asymptotics
Fredman and Knuth have treated certain recurrences, such as M(O) 1 and M(n + 1) min (aM(k) + 3M(nk)) O 1, by means of auxiliary recurrences such as J" 0 if 0 _< x < 1, h(x) l+h(x/cz)+h(x//) ifl_<x< The asymptotic behavior of h(x) as x oo with a and 3 fixed depends on whether log a/logf is rational or irrational. The solution of Fredman and Knuth used analytic methods in bo...
متن کاملAnalytic Zariski Structures and Non-elementary Categoricity
We study analytic Zariski structures from the point of view of non-elementary model theory. We show how to associate an abstract elementary class with a one-dimensional analytic Zariski structure and prove that the class is stable, quasi-minimal and homogeneous over models. We also demonstrate how Hrushovski’s predimension arises in this general context as a natural geometric notion and use it ...
متن کاملElementary Theory of Analytic Functions of One or Several Complex Variables.
Reading is a hobby to open the knowledge windows. Besides, it can provide the inspiration and spirit to face this life. By this way, concomitant with the technology development, many companies serve the e-book or book in soft file. The system of this book of course will be much easier. No worry to forget bringing the elementary theory of analytic functions of one or several complex variables bo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2023
ISSN: ['0168-0072', '1873-2461']
DOI: https://doi.org/10.1016/j.apal.2023.103269