Model-theoretical constructions in AST. I. Karel Čuda, Blanka Vojtášková (1986) Commentationes Mathematicae Universitatis Carolinae