On Almost Sure Elimination of Numerical Quantifiers

DOI10.1093/LOGCOM/13.2.273zbMath1041.03026OpenAlexW2087919886MaRDI QIDQ4461933

Risto Kaila

Publication date: 18 May 2004

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/13.2.273

zbMATH Keywords

zero-one lawfinite structuresinfinitary logicsLindström quantifiersnumerical quantifiersalmost sure quantifier elimination

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Other infinitary logic (03C75) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Almost everywhere elimination of probability quantifiers

This page was built for publication: On Almost Sure Elimination of Numerical Quantifiers