The consistency strength of NFUB, http://front.math.ucdavis (1997)

by R Solovay