# Talk:Boolean Prime Ideal Theorem

Jump to navigation
Jump to search

## Finishing the proof

A Wikipedia section on maximal ideals has a proof of what remains to be shown, but I don't understand it yet. --Dfeuer (talk) 01:22, 14 December 2012 (UTC)

- I finally figured it out. Wikipedia's proof of that part is written backwards. I turned it the right way around and brought it over, as a separate page. --Dfeuer (talk) 04:28, 16 December 2012 (UTC)

## Note

It appears that among the various axioms equivalent to BPIT, BPIT is most often named as the primary one. That is, many people seem to write "According to _____, which is equivalent to BPIT, ____", and fewer seem to write that sentence the other way around. It seems a bit odd to me, since the (equivalent in ZF) Ultrafilter Lemma is considerably easier to understand and I believe also preceded it historically, but that's the situation as it *seems* to be. --Dfeuer (talk) 01:30, 14 December 2012 (UTC)