@article{CMUC_1966_7_3_a9,
     author = {Hrb\'a\v{c}ek, Karel},
     title = {Measurable cardinals in some {G\"odelian} set theories},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {343--358},
     year = {1966},
     volume = {7},
     number = {3},
     mrnumber = {0209146},
     zbl = {0158.26201},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1966_7_3_a9/}
}