Elementary Extensions of External Classes in a Nonstandard Universe Vladimir KanoveiMichael Reeken OriginalPaper Pages: 253 - 273
Classifying ℵo-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories George WeaverDavid Lippel OriginalPaper Pages: 275 - 297
Program Constructions that are Safe for Bisimulation Johan Van Benthem OriginalPaper Pages: 311 - 330