New Foundations with Urelements and weakly compact cardinals
Robert Solovay

We show that the consistency strength of the system NFUB, recently
introduced by Randall Holmes, is precisely that of 
ZFC- + ``There is a weakly compact cardinal''.

[Here ZFC- is ZFC ``minus'' the powerset axiom.]