19 Jan
2016
19 Jan
'16
3:36 a.m.
Todd Wilson wrote in part:
this proof does not appear to be well-known, since there is no reference to it in Section D4.5 of Johnstone's Elephant book or, for example, in the article on the well-ordering theorem in the nLab
It's mentioned there now, since I just added your paper and formalization to the reference list. But it's rare for the nLab to have a comprehensive list of references. This article, for example, despite being begun in 2009, had only Zermelo's original 1904 paper until Thomas Holder added more last year (in 2015). --Toby [For admin and other information see: http://www.mta.ca/~cat-dist/ ]