7980983689domain: NAppears in sequencesBig Ramsey degree (with respect to substructures) of an independent set of size n in a universal triangle-free graph.at n=4A387346