A Note on the Exponential Relation in Peano Arithmetic II Export

@misc{citeulike:71352, abstract = {Introduction. The development of Peano arithmetic or of -recursive functions proceeds smoothly once the graph of the exponentiation function 2 x = y is dened as a  1 -predicate because one can code nite sequences as digits of 2 k -ary representation of numbers. Godel did the development with the help of his -function using the Chinese remainder theorem (see [Sho67]). A slightly simpler development is possible via p-adic concatenation (p is a prime) as suggested by Kripke (see...}, author = {Voda, Paul J.}, citeulike-article-id = {71352}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5202}, keywords = {arithmetic, exponential, peano, relation}, posted-at = {2004-12-30 14:06:59}, priority = {4}, title = {A Note on the Exponential Relation in Peano Arithmetic II}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5202} }

TY - GEN ID - citeulike:71352 L3 - citeulike-article-id:71352 N2 - Introduction. The development of Peano arithmetic or of -recursive functions proceeds smoothly once the graph of the exponentiation function 2 x = y is dened as a  1 -predicate because one can code nite sequences as digits of 2 k -ary representation of numbers. Godel did the development with the help of his -function using the Chinese remainder theorem (see [Sho67]). A slightly simpler development is possible via p-adic concatenation (p is a prime) as suggested by Kripke (see... TI - A Note on the Exponential Relation in Peano Arithmetic II KW - arithmetic KW - exponential KW - peano KW - relation AU - Voda, Paul UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5202 ER -