6533b85efe1ef96bd12bfbd1
RESEARCH PRODUCT
A NOTE ON THE ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER MINIMAL GÖDEL SENTENCES WITH EQUALITY
Wiesław Szwastsubject
CombinatoricsDiscrete mathematicsPrefixFinite model theoryClass (set theory)Quantifier (logic)Dense setSecond-order logicExistential quantificationComputer Science (miscellaneous)MathematicsUnit intervaldescription
The minimal Gödel 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 Gödel class, form a dense subset of the unit interval.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 1995-12-01 | International Journal of Foundations of Computer Science |