On generic structures.

Abstract

We discuss many generalizations of Fraisse's construction of countable 'homogeneous-universal' structures. We give characterizations of when such a structure is saturated and when its theory is -categorical. We also state very general conditions under which the structure is atomic.