Models of AST without choice Karel Čuda, Blanka Vojtášková (1984) Commentationes Mathematicae Universitatis Carolinae Similarity:
Endomorphic cuts and tails Karel Čuda, Athanossios Tzouvaras (1987) Commentationes Mathematicae Universitatis Carolinae Similarity: