@article{CM_1965-1966__17__96_0, author = {Kruse, A. H.}, title = {Grothendieck universes and the super-complete models of {Shepherdson}}, journal = {Compositio Mathematica}, pages = {96--101}, publisher = {Kraus Reprint}, volume = {17}, year = {1965-1966}, mrnumber = {180481}, zbl = {0129.00505}, language = {en}, url = {http://www.numdam.org/item/CM_1965-1966__17__96_0/} }