A completeness theorem in the modal logic of programs
A Completness Theorem For One Class Of The Propositional Calculi
A decidable -categorical theory with a non-recursive Ryll-Nardzewski function
A model-theoretic transfer theorem for henselian valued fields.
A note on “Atomic compactness in -categorical Horn theories” by John T. Baldwin
A note on ...-categorical model-companions.
A property of stable theories
A propos d'un théorème de MacIntyre
An expansion of an -categorical model
Atomic compactness in - categorical Horn theories