Фильтры и ультрафильтры

[Chernoknizhnik]

В википедии в статье "ультрафильтр" меня заинтересовала следующая фраза: "Утверждение о том, что каждый фильтр содержится в ультрафильтре не может быть доказано без использования аксиомы выбора. Также это утверждение эквивалентно теореме о булевых простых идеалах".
Конечно, я умею доказывать, что любой фильтр содержится в ультрафильтре, потому что я знаю, что такое лемма Цорна. У меня к вам 1 вопрос - что такое булев простой идеал (уж не простой=максимальный ли идеал в булевом кольце?)? (а заодно и что такое теорема о булевых простых идеалах). Спасибо.
PS В википедии соответствующая статья отсутствует.

[apriv]

Chernoknizhnik в сообщении #636452 писал(а):

PS В википедии соответствующая статья отсутствует.

Как же отсутствует, если вот она: http://en.wikipedia.org/wiki/Boolean_prime_ideal_theorem

[Chernoknizhnik]

О, спасибо! (не привык пользоваться английской)

[Munin]

Англоязычная википедия полней и достоверней русскоязычной. Часто существенно.