Timeline for Direct construction of the integers
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 7, 2011 at 7:08 | comment | added | Valerio Capraro | OK, sorry, I missed that comment. | |
| Nov 7, 2011 at 0:40 | comment | added | Jacques Carette | Andreas is correct: I was looking for a quotient-free construction. And axioms 1-3 above are really another way of stating Goguen's "no junk, no confusion" axioms. | |
| Nov 6, 2011 at 23:38 | comment | added | Andreas Blass | This seems to be the same as what Kaveh suggested in a comment on the question. The OP objected there that the axiom prec(succ(n)) = succ(prec(n)) = n induces a quotient. That is, the integers will not be simply the terms built from succ, pred, and 0 but rather equivalence classes of such terms. | |
| Nov 6, 2011 at 16:26 | history | edited | Valerio Capraro | CC BY-SA 3.0 |
added 11 characters in body
|
| Nov 6, 2011 at 16:18 | history | answered | Valerio Capraro | CC BY-SA 3.0 |