@article{CMUC_1981_22_1_a6,
     author = {Sochor, Anton{\'\i}n and Vop\v{e}nka, Petr},
     title = {The axiom of reflection},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {87--111},
     year = {1981},
     volume = {22},
     number = {1},
     mrnumber = {609938},
     zbl = {0454.03027},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1981_22_1_a6/}
}