On generic structures.
David W. Kueker, Michael Chris Laskowski · Notre Dame Journal of Formal Logic · 1992
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.