Entropy of formulas
Marko Djordjević · 2006
Abstract. A probability distribution can be given to the set of isomorphism classes of models with universe {1,..., n} of a sentence (i.e. closed formula) in first-order logic. We study the entropy of this distribution and derive a result from the 0-1 law for first-order sentences.