A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Display formulas [help]

Makinson, David, Quantificational Reefs in Deontic Waters (1981)
Makinson, David ; Dyck, Stephen, SUR LES FONCTIONS QUI CONSERVENT LES THEOREMS (1970)
Makinson, David ; Iturrioz, Luisa, Sur les filtres premiers d'un treillis distributif et ses sous-treillis (1970)
Makkai, M., A Proof of Baker's Finite-base Theorem on Equational Classes Generated by Finite Elements of Congruence Distributive Varieties
Makkai, M., An Application of a Method of Smullyan's to Logics on Admissible Sets
Makkai, M., Derivation-free Proofs of Modeltheoretical Results for Denumerably Long Sentences with Finite Strings of Quantifiers
Makkai, M., Generalizing Vaught Sentences from $\omega$ to Strong Confinality $\omega$
Makkai, M., On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers
Makkai, M., Preservation Theorems and Svenonius Formulas
Makkai, M., Preservation Theorems for Pseudo-elementary Classes