Ultrafilter Lemma implies Compactness/Completeness of FOL Apologies if this has been asked somewhere before, but I didn't see what I was looking for after several pages of Google results.
I was reading Jech's The Axiom of Choice and was introduced to the equivalence of the ultrafilter lemma and the compactness theorem for FOL. I gather that these are also equivalent to the completeness theorem. I am primarily interested in trying to understand the "ultrafilter lemma $\implies$ completeness/compactness" direction. Jech's own proof takes an odd route through "binary messes" and I don't really follow the last couple of steps. (It's on pp.17,18 of the 2008 Dover reprint, if one is interested).
I'm wondering if anyone knows a good reference for, or can provide, a readable proof that the ultrafilter lemma implies completeness or compactness, with a preference for completeness. Alternatively, if you have Jech's book on hand, helping me bridge the concluding paragraph of his $\textrm{(ii)}\implies\textrm{(iii)}$ step with the preceding steps would clear up much of my puzzlement. (Though in this case I can't offer any help in saying what, specifically, is missing in the way of a bridge).
 A: I think you'll find what you're looking for in J.L. Bell and A.B. Slomson, "Models and Ultraproducts: an introduction" (Dover, 1969) in Chapter 5 Section 5: "The completeness theorem, the axiom of choice, and the ultrafilter theorem."
A: I didn't find many actual proofs of this equivalence. Henkin's original proof was announced on page 389 of the following paper, but doesn't seem to appear in press (interestingly enough the meeting itself had more than a handful of submissions related to the Prime Boolean Ideal theorems).

J. W. Green, The May meeting in Yosemite, Bull. Amer. Math. Soc. 60 (1954), no. 4, 386--399.

I have found in Halbeisen's Combinatorial Set Theory the same proof that you would find in Jech (in terms of equivalence, and going through the term "binary mess"). However Halbeisen writes in a different manner from Jech, and you might find it more readable there.

Lorenz J. Halbeisen, Combinatorial Set Theory: With a Gentle Introduction to Forcing, Springer Monographs in Mathematics, Springer 2011.

More specifically, this is Theorem 5.15 which appears on page 122. (You can also find a free copy on Halbeisen's homepage, although page numbering might differ there.)
