Probabilities of sentences about two linear orderings
John Foy, Alan R. Woods · Birkhäuser Boston eBooks · 1990
Consider the class of all finite structures 〈 n , ≤, ≺ 〉 consisting of an n element set with two linear orderings ≤, ≺ . This paper is concerned with the asymptotic properties of the collection of such structures satisfying a first order sentence ϕ and the extent to which these properties can be determined effectively.