A nonstandard set theory Karel Čuda (1976) Commentationes Mathematicae Universitatis Carolinae Similarity:
The existence of upper semicomplements in lattices of primitive classes Jaroslav Ježek (1971) Commentationes Mathematicae Universitatis Carolinae Similarity: