|
Chernoknizhnik |
|
|
|
В википедии в статье "ультрафильтр" меня заинтересовала следующая фраза: "Утверждение о том, что каждый фильтр содержится в ультрафильтре не может быть доказано без использования аксиомы выбора. Также это утверждение эквивалентно теореме о булевых простых идеалах".
Конечно, я умею доказывать, что любой фильтр содержится в ультрафильтре, потому что я знаю, что такое лемма Цорна. У меня к вам 1 вопрос - что такое булев простой идеал (уж не простой=максимальный ли идеал в булевом кольце?)? (а заодно и что такое теорема о булевых простых идеалах). Спасибо.
PS В википедии соответствующая статья отсутствует.
|
|
|
|
 |
|
apriv |
|
|
PS В википедии соответствующая статья отсутствует. Как же отсутствует, если вот она: http://en.wikipedia.org/wiki/Boolean_prime_ideal_theorem
|
|
|
|
|
|
Chernoknizhnik |
|
|
|
О, спасибо! (не привык пользоваться английской)
|
|
|
|
|
|
Munin |
|
|
|
Англоязычная википедия полней и достоверней русскоязычной. Часто существенно.
|
|
|
|
|
