Dmitri Pavlov - Обновление манифеста
January 24th, 2011
10:17 am

[Link]

Обновление манифеста

(121 comments | Leave a comment)

Comments
 
From:[info]dmitri_pavlov
Date:February 2nd, 2011 - 04:06 am
(Link)
Никаких осмысленных возражений к формализму Ловера быть не может, ибо он включает
в себя Цермело-Френкеля.
Если какая-то теорема использует аксиому выбора,
то так и пишем, что она доказывается
для элементарных топосов, удовлетворяющих аксиоме выбора.
В случае теоремы Рамсея требуется выбор для счётных семейств конечных множеств — поэтому необходимо
и достаточно наложить соответствующее условие
на элементарный топос.
My Website Powered by LJ.Rossia.org