%0 Journal Article %A Čuda, Karel %A Vojtášková, Blanka %T Models of AST without choice %J Commentationes Mathematicae Universitatis Carolinae %D 1984 %P 555-589 %V 25 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/CMUC_1984__25_4_a0/ %G en %F CMUC_1984__25_4_a0