Talk:Boolean Prime Ideal Theorem

From ProofWiki
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)


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)