Infinitary queries and their asymptotic probabilities. II. Properties definable in least fixed point logic
Jerzy Tyszkiewicz · Random Structures and Algorithms · 1994
Abstract We develop an almost complete theory for existence of asymptotic probabilities of least fixed point and partial fixed pint definable properties, and for the complexity of the associated almost sure theory. Our method works for any randomized class of finite structures. © 1994 John Wiley & Sons, Inc.