No CrossRef data available.
Article contents
Strong 0-1 laws in finite model theory
Published online by Cambridge University Press: 12 March 2014
Abstract
We introduce a new framework for asymptotic probabilities of sentences, in which we have a σ-additive measure on the sample space of all sequences A = {} of finite models, where the universe of is {1,2, …, n}. and use this framework to strengthen 0-1 laws for logics.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2000