arXiv:0904.2436 [math.CO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords parity quantifier, first order logic, approaches infinity, zero-one law, original quantifier elimination approach Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset