  For certain weak versions of the Axiom of Choice (most notably, the Boolean
Prime Ideal theorem), we obtain equivalent formulations in terms of partial
orders, and filter-like objects within them intersecting certain dense sets or
antichains. This allows us to prove some consequences of the Boolean Prime
Ideal theorem using arguments in the style of those that use Zorn's Lemma, or
Martin's Axiom.
