Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
В википедии в статье "ультрафильтр" меня заинтересовала следующая фраза: "Утверждение о том, что каждый фильтр содержится в ультрафильтре не может быть доказано без использования аксиомы выбора. Также это утверждение эквивалентно теореме о булевых простых идеалах". Конечно, я умею доказывать, что любой фильтр содержится в ультрафильтре, потому что я знаю, что такое лемма Цорна. У меня к вам 1 вопрос - что такое булев простой идеал (уж не простой=максимальный ли идеал в булевом кольце?)? (а заодно и что такое теорема о булевых простых идеалах). Спасибо. PS В википедии соответствующая статья отсутствует.