The nonabsolute boundedness model of the theory of semisets Karel Čuda (1977) Commentationes Mathematicae Universitatis Carolinae