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)|
|Through your library||Configure|
Similar books and articles
Wafik 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.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?