A decidable -categorical theory with a non-recursive Ryll-Nardzewski function
A finitely Axiomatizable complete theory with atomless F1 (T).
A note on “Atomic compactness in -categorical Horn theories” by John T. Baldwin
A note on topological model theory
A Possible Characterization of Generic Structures.
A property of stable theories
A sufficient condition for a variety to have the amalgamation property
A type-open minimal model.
Addition and correction to the paper "On stability and products", Fund. Math. 93 (1976), pp. 81-95
An addition to "Substructures of reduced powers"
An Omitting Types Theorem with an Application to the Construction of Generic Structures.
Atomic compactness and elementary equivalence
Atomic compactness in - categorical Horn theories