Minimal ultrafilters and maximal endomorphic universes Athanossios Tzouvaras (1985) Commentationes Mathematicae Universitatis Carolinae
Modelltheoretische Untersuchungen in der Kripke-Semantik. Horst Osswald (1970) Archiv für mathematische Logik und Grundlagenforschung
Model-theoretic properties of cause-and-effect structures Kurt Hauschild (1982) Commentationes Mathematicae Universitatis Carolinae