Strong convergence in finite model theory
Journal of Symbolic Logic 67 (3):1083-1092 (2002)
| Abstract | In [9] we introduced a new framework for asymptotic probabilities, in which a $\sigma-additive$ measure is defined on the sample space of all sequences $A = $ of finite models, where the universe of An is {1, 2, .., n}. In this framework we investigated the strong 0-1 law for sentences, which states that each sentence either holds in An eventually almost surely or fails in An eventually almost surely. In this paper we define the strong convergence law for formulas, which carries over the ideas of the strong 0-1 law to formulas with free variables, and roughly states that for each formula φ(x), the fraction of tuples a in An, which satisfy the formula φ(x), almost surely has a limit as n tends to infinity. We show that the infinitary logic with finitely many variables has the strong convergence law for formulas for the uniform measure, and further characterize the measures on random graphs for which the strong convergence law holds | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesAndreas Blass & Yuri Gurevich (2003). Strong Extension Axioms and Shelah's Zero-One Law for Choiceless Polynomial Time. Journal of Symbolic Logic 68 (1):65-131.
Martin Goldstern, Haim Judah & Saharon Shelah (1993). Strong Measure Zero Sets Without Cohen Reals. Journal of Symbolic Logic 58 (4):1323-1341.
Lauri Hella, Phokion G. Kolaitis & Kerkko Luosto (1996). Almost Everywhere Equivalence of Logics in Finite Model Theory. Bulletin of Symbolic Logic 2 (4):422-443.
Piotr Koszmider (1998). On the Existence of Strong Chains in ℘(Ω1)/Fin. Journal of Symbolic Logic 63 (3):1055 - 1062.
Gábor Sági & Saharon Shelah (2006). On Weak and Strong Interpolation in Algebraic Logics. Journal of Symbolic Logic 71 (1):104 - 118.
Janusz Pawlikowski (1990). Finite Support Iteration and Strong Measure Zero Sets. Journal of Symbolic Logic 55 (2):674-677.
Marion Scheepers (1999). Finite Powers of Strong Measure Zero Sets. Journal of Symbolic Logic 64 (3):1295-1306.
Wafik Boulos Lotfallah (2000). Strong 0-1 Laws in Finite Model Theory. Journal of Symbolic Logic 65 (4):1686-1704.
Jeffrey Koperski (1998). Models, Confirmation, and Chaos. Philosophy of Science 65 (4):624-648.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads10 ( #106,370 of 549,122 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
