Subject: Re: [HM] ... and the unique factorization theorem
From: Martin Davis (martin@eipye.com)
Date: Wed Feb 09 2000 - 14:11:31 EST
At 02:55 PM 2/9/00 +0100, Walter Felscher wrote:
> The extension of 1st order arithmetic by elementary (recursive)
> functions (in the sense of Kalmar) permits to express and prove a
> (unique) elementary prime factor decomposition, and that uniqueness
> can be extended to any larger class of functions from which the
> functions are to be taken which express the prime factors and
> exponents of a decomposition.
It is perhaps worth mentioning that this extension is *conservative* in the
sense that no statements in the original language are provable in this
extension unless they were already provable in the original system.
Martin Davis
Martin Davis
Visiting Scholar UC Berkeley
Professor Emeritus, NYU
martin@eipye.com
(Add 1 and get 0)
http://www.eipye.com
This archive was generated by hypermail 2b28 : Thu Feb 10 2000 - 08:21:28 EST