EXISTENCE OF MODELING LIMITS FOR SEQUENCES OF SPARSE STRUCTURES
EXISTENCE OF MODELING LIMITS FOR SEQUENCES OF SPARSE STRUCTURES
Abstract A sequence of graphs is FO-convergent if the probability of satisfaction of every first-order formula converges. A graph modeling is a graph, whose domain is a standard probability space, with the property that every definable set is Borel. It was known that FO-convergent sequence of graphs do not always …