A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality
The minimal Godel class is the class of first-order prenex sentences whose quantifier prefix consists of two universal quantifiers followed by just one existential quantifier. We prove that asymptotic probabilities of existential second-order sentences, whose first-order part is in the minimal Godel class, form a dense subset of the unit interval.