The theory of the random graph is the theory of a set (thought of as vertices) and a binary relationship on (thought of as indicating the existence of an edge between two vertices), such that is irreflexive and symmetric, and such that the following condition holds: if and are finite subsets of , with , then there is a such that holds for , and fails for . That is, is connected to everyone in , and not connected to anyone in . Without this last condition, we would just have the theory of graphs. The theory of the random graph is the model companion of the theory of graphs.
The theory of the random graph is countably categorical, and simple, but not NIP (and hence not stable). It has quantifier elimination. It does not have elimination of imaginaries.
The term "random graph" refers (maybe?) to the following fact: if we declare our vertex set to be (or any countable set), and we choose for each pair of distinct vertices whether there will be an edge from to , with probability , independently between different pairs, then the resulting graph will be a random graph with probability 1. ::: ::: :::