[FOM] Query on nonstandard models of the integers

Joachim Reineke reineke at math.uni-hannover.de
Sun Nov 4 15:08:47 EST 2007

 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

More information about the FOM mailing list