To fill a grey link (and towards eventually writing down the characterization of the theory of the countable random graph as the expansion of the theory of an infinite set by a “generic” predicate), I created the page existentially closed model.

The corresponding notion for a theory (“all models are existentially closed models”) has been given a page at model complete theory.

]]>