# Talk:Boolean prime ideal theorem

WikiProject Mathematics (Rated Start-class, Low-priority)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
 Start Class
 Low Priority
Field:  Foundations, logic, and set theory

## ultrafilter lemma

"Apparently, the ultrafilter lemma also implies BPI, such that both statements are equivalent -- please confirm if this is known to you." I managed to work out a rather convoluted proof of this, showing that ultrafilter lemma-->compactness theorem-->BPI for free Boolean algebras-->BPI. But I get the feeling there ought to be a more direct proof, and although I was very careful, I might have tacitly used some aspect of the axiom of choice at some point in my proof. --—Preceding unsigned comment added by 70.245.244.82 (talkcontribs)

The compactness theorem (even for sentential logic) directly implies the BPI:
Fix a Boolean algebra B. For every b in B let pb be a propositional variable. Let T be the set of all formulas of the following form:
1. not pb iff pnot b
2. (pb and pc) iff pb and c
3. (pb or pc) iff pb or c
where "not", "and", "or" on the left side is a logical symbol, and "not", "and", "or" on the right side are the boolean operations. T is easily seen to be finitely consistent, and every truth assignment to the propositional variables that satisfies T will induce an ultrafilter on B.
--Aleph4 22:20, 2 May 2006 (UTC)

## often?

"the Boolean prime ideal theorem is often taken as an axiom of set theory". Is it really? Ever? That sounds like there are (many) people who actually work in the set theory "ZF + BPI". I doubt that. Of course there are few people who investigate the strength of BPI, but I doubt that they consider BPI an "axiom of set theory".

--Aleph4 18:21, 24 September 2005 (UTC)

## merged ultrafilter lemma

I merged ultrafilter lemma here as a new section. The old talk for that page is very brief; you can find it at Talk:Ultrafilter lemma if you are interested. CMummert 02:58, 18 July 2006 (UTC)

## Weak BPI for Boolean algebras

Weak and strong PIT are equivalent for Boolean algebras via quotient algebras. The same should hold for distributive lattices, but I am not absolutely certain. TexD 19:12, 23 October 2006 (UTC)

## Is article too technical?

I think the article is too technical and it would be possible to simplify it, especially in the lead. Absolutelypuremilk (talk) 14:08, 4 December 2016 (UTC)