Graduate studies at Western
Journal of Symbolic Logic 67 (2):557-578 (2002)
|Abstract||This paper develops the very basic notions of analysis in a weak second-order theory of arithmetic BTFA whose provably total functions are the polynomial time computable functions. We formalize within BTFA the real number system and the notion of a continuous real function of a real variable. The theory BTFA is able to prove the intermediate value theorem, wherefore it follows that the system of real numbers is a real closed ordered field. In the last section of the paper, we show how to interpret the theory BTFA in Robinson's theory of arithmetic Q. This fact entails that the elementary theory of the real closed ordered fields is interpretable in Q|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Joseph S. Miller (2004). Degrees of Unsolvability of Continuous Functions. Journal of Symbolic Logic 69 (2):555 - 584.
William J. Collins & Paul Young (1983). Discontinuities of Provably Correct Operators on the Provably Recursive Real Numbers. Journal of Symbolic Logic 48 (4):913-920.
Alexander Raichev (2005). Relative Randomness and Real Closed Fields. Journal of Symbolic Logic 70 (1):319 - 330.
Miklós Erdélyi-Szabó (2000). Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. Journal of Symbolic Logic 65 (3):1014-1030.
Jean-Marie Lion (2002). Finitude Simple Et Structures o-Minimales (Finiteness Property Implies o-Minimality). Journal of Symbolic Logic 67 (4):1616-1622.
Françoise Delon & Rafel Farré (1996). Some Model Theory for Almost Real Closed Fields. Journal of Symbolic Logic 61 (4):1121-1152.
Philip Ehrlich (2012). The Absolute Arithmetic Continuum and the Unification of All Numbers Great and Small. Bulletin of Symbolic Logic 18 (1):1-45.
Fernando Ferreira (1994). A Feasible Theory for Analysis. Journal of Symbolic Logic 59 (3):1001-1011.
Added to index2009-01-28
Total downloads2 ( #246,325 of 739,304 )
Recent downloads (6 months)0
How can I increase my downloads?