Simmons, H.
-
MATHEMATICA SCANDINAVICA Vol. 31 (1972) - Articles
A Possible Characterization of Generic Structures.
Details PDF -
MATHEMATICA SCANDINAVICA Vol. 33 (1973) - Articles
An Omitting Types Theorem with an Application to the Construction of Generic Structures.
Details PDF