Probabilities in first—order logic of a unary function and a binary relation
Jerzy Tyszkiewicz · Random Structures and Algorithms · 1995
Abstract We settle the question of the behavior of probabilities of sentences of first—order logic about a unary function and a binary relation. We show that there are sentences of this logic without asymptotic probability. This settles the last open case in the problem of establishing the behavior of asymptotic probabilities for classes of labeled structures corresponding to natural signatures. © 1995 John Wiley & Sons, Inc.