[FOM] Query on nonstandard models of the integers

[Joachim Reineke]

No.
 Let D be such a model. Then D is Bezout. Since UFD implies accp D is 
noetherian and therefore a PID. Contradiction

Joachim Reineke

----- Original Message ----- 
From: <joeshipman at aol.com>
To: <FOM at cs.nyu.edu>
Sent: Sunday, November 04, 2007 5:31 AM
Subject: [FOM] Query on nonstandard models of the integers


> Is there any nonstandard model of the integers which has the unique
> factorization property?
>
> -- JS
> ________________________________________________________________________
> Email and AIM finally together. You've gotta check out free AOL Mail! -
> http://mail.aol.com
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>