Spaces of completions of elementary theories and convergence laws for random hypergraphs
Consider the binomial model of the random -uniform hypergraph on vertices, where each edge is present, independently of one another, with probability . We prove that, for all logarithmo-exponential , the probabilities of all elementary properties of hypergraphs converge, with particular emphasis in the ranges and . The exposition is unified by constructing, for each such function , the topological space of all completions of its almost sure theory. This space turns out to be compact, metrizable and totally disconnected, but further properties depend on the range of . The convergence of the probabilities of elementary properties is associated with a borelian probability measure on the space.