(no subject)

Появилась в доступе статья Бласса

Well-ordering and induction in intuitionistic logic and topoi

История вопроса: в 1985-м Питер Фрейд внезапно доказал, что теорема Цермело (если множество имеет функцию выбора, то его можно вполне-упорядочить) верна и в интуиционистской теории (ZF без аксиомы выбора). Доказательство очень трудное и не прямое (а через топосы)

https://core.ac.uk/download/pdf/81927529.pdf

Фрейд в очень резкой форме высказал мнение, что вряд ли кто когда сможет это доказательство перевести на нормальный (теоретико-множественный, а не топосный) язык. Вскоре после публикации два человека перевели, один из них Бласс (а второй Aczel). Но всё равно доказательство трудное. А затем Todd Wilson покуражился над всеми, дав простое (для специалистов, конечно) доказательство на три странички

https://www.jstor.org/stable/2695096?seq=1