(no subject)
Mar. 30th, 2021 03:09 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
66georgeПоявилась в доступе статья Бласса
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
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
