On products of neat structures
On reductive and projective classes
On some conjectures connected with complete sentences
On some properties a projective model class passes on to the generated axiomatic class.
On stability and products
On the number of countable models of stable theories
We prove: Theorem. If T is a countable, complete, stable, first-order theory having an infinite set of constants with different interpretations, then I(T,ℵ₀) ≥ ℵ₀.
On the number of generic models
Preservation Theorems for Limits of Structures and Global Sections of Sheaves of Structures.
Proprietà metamatematiche di alcune classi di algebre
Quasi-axiomatic classes.
Real classes in the ultrapower of hereditarily finite sets
Reducing hyperarithmetic sequences
Remarks on countable models
Remarks on stability and saturated models
Saturated models of incomplete theories.
Saturation and omitting types.
Solution to a problem of Gandy's
Some categories of models.
Some properties of mirrored orders.
Some Remarks On Boolean Terms - Model Theoretic Approach