

Publisher: Cambridge University Press
E-ISSN: 1943-5886|57|3|1057-1085
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.57, Iss.3, 1992-09, pp. : 1057-1085
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
We show that IE1 proves that every element greater than 1 has a unique factorization into prime powers, although we have no way of recovering the exponents from the prime powers which appear. The situation is radically different in Bézout models of open induction. To facilitate the construction of counterexamples, we describe a method of changing irreducibles into powers of irreducibles, and we define the notion of a frugal homomorphism into
Related content


Prime numbers and the sequences 6
The Mathematical Gazette, Vol. 98, Iss. 541, 2014-03 ,pp. :


On the prime power factorization of n!
Journal of Number Theory, Vol. 102, Iss. 2, 2003-10 ,pp. :


The Mathematical Gazette, Vol. 95, Iss. 534, 2011-11 ,pp. :


Logic, sheaves, and factorization systems
The Journal of Symbolic Logic, Vol. 58, Iss. 3, 1993-09 ,pp. :


ON THE LARGEST PRIME FACTOR OF THE MERSENNE NUMBERS
Bulletin of the Australian Mathematical Society, Vol. 79, Iss. 3, 2009-06 ,pp. :