Strong 0-1 Laws in Finite Model Theory

Lotfallah, Wafik Boulos

J. Symbolic Logic, Tome 65 (2000) no. 1, p. 1686-1704 / Harvested from Project Euclid

Résumé

We introduce a new framework for asymptotic probabilities of sentences, in which we have a $\sigma$-additive measure on the sample space of all sequences $A = \{\mathscr{A}_n\}$ of finite models, where the universe of $\mathscr{A}_n$ is $\{$1,2 ... n$\}$, and use this framework to strengthen 0-1 laws for logics.

Publié le : 2000-12-14
Classification:

@article{1183746257,
     author = {Lotfallah, Wafik Boulos},
     title = {Strong 0-1 Laws in Finite Model Theory},
     journal = {J. Symbolic Logic},
     volume = {65},
     number = {1},
     year = {2000},
     pages = { 1686-1704},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746257}
}

Lotfallah, Wafik Boulos. Strong 0-1 Laws in Finite Model Theory. J. Symbolic Logic, Tome 65 (2000) no. 1, pp.  1686-1704. http://gdmltest.u-ga.fr/item/1183746257/