arXiv++ Combinatorics

In this paper we found an upper bound for the minimal quantifier depth of the first part of a monadic second-order sentence without asymptotic probability described by Jerzy Tyszkiewicz, which express the extension grid axiom in the Erdős-Rényi model of random graphs $G(n,n^{-α})$ for some irrational $α$.