A note on cofinal extensions and segments Josef Mlček (1978) Commentationes Mathematicae Universitatis Carolinae Similarity:
The lattice of bi-numerations of arithmetic. I. Marie Hájková (1971) Commentationes Mathematicae Universitatis Carolinae Similarity:
The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems) Jiří Ivánek (1977) Commentationes Mathematicae Universitatis Carolinae Similarity: