Strong 0-1 laws in finite model theory
Wafik Boulos Lotfallah · Journal of Symbolic Logic · 2000
Abstract We introduce a new framework for asymptotic probabilities of sentences, in which we have a σ-additive measure on the sample space of all sequencesA= { } of finite models, where the universe of is {1,2, …, n}. and use this framework to strengthen 0-1 laws for logics.