https://en.formulasearchengine.com/index.php?action=history&feed=atom&title=Boolean_prime_ideal_theorem 2026-04-18T06:02:35Z Revision history for this page on the wiki MediaWiki 1.43.0-wmf.28 https://en.formulasearchengine.com/index.php?title=Boolean_prime_ideal_theorem&diff=228318&oldid=prev 2014-12-14T10:30:00Z

<p><span class="autocomment">The ultrafilter lemma: </span> No need to give a vague reference to Tarski for an obvious fact. (Otherwise some historical context should have been added.)</p> <a href="https://en.formulasearchengine.com/index.php?title=Boolean_prime_ideal_theorem&amp;diff=228318&amp;oldid=228317">Show changes</a>

en>Alexey Muranov https://en.formulasearchengine.com/index.php?title=Boolean_prime_ideal_theorem&diff=228317&oldid=prev 2014-03-04T05:33:18Z

<p><span class="autocomment">Applications</span></p> <a href="https://en.formulasearchengine.com/index.php?title=Boolean_prime_ideal_theorem&amp;diff=228317&amp;oldid=3931">Show changes</a>

114.166.213.104 https://en.formulasearchengine.com/index.php?title=Boolean_prime_ideal_theorem&diff=3931&oldid=prev 2014-01-14T14:15:51Z

<p><span class="autocomment">Boolean prime ideal theorem: </span> added missing diacritic</p> <a href="https://en.formulasearchengine.com/index.php?title=Boolean_prime_ideal_theorem&amp;diff=3931&amp;oldid=228316">Show changes</a>

en>Myasuda https://en.formulasearchengine.com/index.php?title=Boolean_prime_ideal_theorem&diff=228316&oldid=prev 2012-05-21T19:37:47Z

<p>Disambiguated: <a href="/index.php?title=ZF&amp;action=edit&amp;redlink=1" class="new" title="ZF (page does not exist)">ZF</a> → <a href="/wiki/Zermelo%E2%80%93Fraenkel_set_theory" title="Zermelo–Fraenkel set theory">Zermelo–Fraenkel set theory</a></p> <a href="https://en.formulasearchengine.com/index.php?title=Boolean_prime_ideal_theorem&amp;diff=228316">Show changes</a>

en>Bomazi