Well-founded Boolean ultrapowers as large cardinal embeddings Posted on June 26, 2012 by Joel David Hamkins