Almost everywhere elimination of probability quantifiers

DOI10.2178/jsl/1254748683zbMath1187.03030OpenAlexW2165602048MaRDI QIDQ3655247

H. Jerome Keisler, Wafik Boulos Lotfallah

Publication date: 7 January 2010

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1254748683

zbMATH Keywords

zero-one lawfinite model theoryprobability quantifiers

Mathematics Subject Classification ID

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

Related Items

An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions ⋮ Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination ⋮ Unnamed Item ⋮ Completeness and interpolation of almost-everywhere quantification over finitely additive measures

Cites Work

• Unnamed Item
• Finite-model theory -- A personal perspective
• Infinitary logics and 0-1 laws
• On probabilistic elimination of generalized quantifiers
• Almost Everywhere Equivalence of Logics in Finite Model Theory
• On Almost Sure Elimination of Numerical Quantifiers