Unique factorization/Advanced: Revision history

23 April 2008

• curprev 06:2506:25, 23 April 2008‎ imported>Barry R. Smith‎ 9,204 bytes +530‎ number systems with UF

10 April 2008

• curprev 06:4706:47, 10 April 2008‎ imported>Jitse Niesen‎ m 8,674 bytes +8,674‎ →‎Existence: spelling

9 April 2008

• curprev 12:1912:19, 9 April 2008‎ imported>Barry R. Smith‎ m 8,674 bytes +27‎ →‎A number system where unique factorization fails
• curprev 12:1712:17, 9 April 2008‎ imported>Barry R. Smith‎ m 8,647 bytes +1‎ →‎A number system where unique factorization fails
• curprev 12:1512:15, 9 April 2008‎ imported>Barry R. Smith‎ m 8,646 bytes 0‎ →‎Precise formulation

8 April 2008

• curprev 17:2517:25, 8 April 2008‎ imported>Barry R. Smith‎ m 8,646 bytes −1‎ →‎Existence
• curprev 17:2417:24, 8 April 2008‎ imported>Barry R. Smith‎ m 8,647 bytes +1,285‎ →‎Existence
• curprev 17:2317:23, 8 April 2008‎ imported>Barry R. Smith‎ 8,647 bytes +1,285‎ existence of factorizations
• curprev 10:3910:39, 8 April 2008‎ imported>Barry R. Smith‎ 7,362 bytes +3,415‎ added failure example
• curprev 09:5109:51, 8 April 2008‎ imported>Barry R. Smith‎ 3,998 bytes +51‎ proof subsections
• curprev 09:4909:49, 8 April 2008‎ imported>Barry R. Smith‎ m 3,947 bytes 0‎ →‎Proof
• curprev 09:4509:45, 8 April 2008‎ imported>Barry R. Smith‎ 3,947 bytes +78‎ Euclidean Rings --> Principal Ideal Domains
• curprev 05:0405:04, 8 April 2008‎ imported>Andrey Khalyavin‎ 3,939 bytes +70‎ →‎Proof
• curprev 05:0205:02, 8 April 2008‎ imported>Andrey Khalyavin‎ 3,869 bytes −80‎ Mathematical induction is not connected with choice axiom.
• curprev 04:5204:52, 8 April 2008‎ imported>Andrey Khalyavin‎ 3,949 bytes +3,949‎ →‎Precise formulation

6 April 2008

• curprev 10:5010:50, 6 April 2008‎ imported>Barry R. Smith‎ 3,922 bytes +3,922‎ created advanced page, added fomulation, proof