Timeline for A Proof that the Natural Numbers Form a pca?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 5, 2013 at 8:50 | comment | added | Andrej Bauer | Please read the questions more carefully, this reference is not helpful because in Example 3.1 it assumed without proof precisely what the question asks for. We are looking for a proof of Example 3.1. | |
| Jun 5, 2013 at 8:42 | history | answered | Waldemar | CC BY-SA 3.0 |