Timeline for Euclidean function of Euclidean domain defined at 0
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 13, 2010 at 22:14 | comment | added | Pete L. Clark | +1: this certainly answers the question. I found it somewhat unsatisfying though that -- so far as I could see -- Nagata's 1978 example of a Euclidean domain with a transfinite algorithm but no $\mathbb{Z}^+$-valued algorithm is listed in the bibliography but not discussed (or even cited!) in the text at all. Instead they give the example of $\mathbb{Z} \oplus \mathbb{Z}$, which is not a domain, so seems rather cheap. According to MathSciNet, before Nagata, Hiblot gave a similar example (first incorrectly, but corrected before Nagata's paper). | |
| Jul 13, 2010 at 19:02 | vote | accept | Yiftach Barnea | ||
| Jul 13, 2010 at 14:09 | history | edited | Bill Dubuque | CC BY-SA 2.5 |
added 102 characters in body; added 29 characters in body; deleted 2 characters in body
|
| Jul 13, 2010 at 14:03 | history | answered | Bill Dubuque | CC BY-SA 2.5 |