Asymptotic probabilities for second-order existential kahr-Moore-Wang sentences
Journal of Symbolic Logic 62 (1):304-319 (1997)
| Abstract | We show that the 0-1 law does not hold for the class Σ 1 1 (∀∃∀ without =) by finding a sentence in this class which almost surely expresses parity. We also show that every recursive real in the unit interval is the asymptotic probability of a sentence in this class. This expands a result by Lidia Tendera, who in 1994 proved that every rational number in the unit interval is the asymptotic probability of a sentence in the class Σ 1 1 ∀∃∀ with equality | |||||||||
| 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,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesWafik Boulos Lotfallah (2002). Strong Convergence in Finite Model Theory. Journal of Symbolic Logic 67 (3):1083-1092.
S. W. Hinkley & Chris P. Tsokos (1975). Stochastic Processes in Particle-Number Fluctuations in an Electron-Photon Shower. Acta Biotheoretica 24 (1-2).
Alan R. Woods (1997). Counting Finite Models. Journal of Symbolic Logic 62 (3):925-949.
Robert Batterman (1992). Quantum Chaos and Semiclassical Mechanics. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:50 - 65.
Timothy Herron, Teddy Seidenfeld & Larry Wasserman (1994). The Extent of Dilation of Sets of Probabilities and the Asymptotics of Robust Bayesian Inference. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:250 - 259.
Jean-Marie Le Bars (2000). Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: An Overview. The Bulletin of Symbolic Logic 6 (1):67 - 82.
Zofia Kostrzycka & Marek Zaionc (2008). Asymptotic Densities in Logic and Type Theory. Studia Logica 88 (3):385 - 403.
Leszek Pacholski & Wiesław Szwast (1991). Asymptotic Probabilities of Existential Second-Order Gödel Sentences. Journal of Symbolic Logic 56 (2):427-438.
Adam J. Grove, Joseph Y. Halpern & Daphne Koller (1996). Asymptotic Conditional Probabilities: The Non-Unary Case. Journal of Symbolic Logic 61 (1):250-276.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
