@article{CMUC_1984__25_4_a3,
     author = {\v{C}uda, Karel},
     title = {Translation of nonstandard definitions to standard ones},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {615--634},
     publisher = {mathdoc},
     volume = {25},
     number = {4},
     year = {1984},
     mrnumber = {782012},
     zbl = {0574.03051},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1984__25_4_a3/}
}