конструктивный ультрафильтр

[viktorpetrov]

Навеяно вот этим: terrytao.wordpress.com/2010/03/19/a-computational-perspective-on-set-theory/

Напомню, что ультрафильтр на множестве --- это элемент его проконечного пополнения. Иначе говоря, можно себе представлять, что некто задумал "элемент" множества, и умеет для каждого конечного разбиения множества непротиворечивым образом отвечать на вопрос

Comments

[viktorpetrov]

Не знаю, я не специалист. Есть классическая книжка Йеха "Теория множеств и метод форсинга", но ее сложно читать.

[sergeylarin]

Весьма рад знакомству! По работе загруз поэтому временно не могу ответить своим оппонентам.Низкий поклон!

[viktorpetrov]

Я тоже очень рад! На Ваш журнал вышел по ссылке о мытарствах некоторое время назад, сейчас вот решился зафрендить :)