%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