How Complex are Random Graphs in First Order Logic? - Jeong Han Kim; Oleg Pikhurko; Joel Spencer; Oleg Verbitsky (2004)