Asymptotic probabilities of existential second-order gödel sentences

&
Journal of Symbolic Logic 56 (2):427-438 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274691

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Asymptotic probabilities for second-order existential kahr-Moore-Wang sentences.Anne Vedø - 1997 - Journal of Symbolic Logic 62 (1):304-319.
A Simplified Proof of the 0–1 Law for Existential Second‐Order Ackermann Sentences.Thierry Lacoste - 1997 - Mathematical Logic Quarterly 43 (3):413-418.
Asymptotic conditional probabilities: The non-unary case.Adam J. Grove, Joseph Y. Halpern & Daphne Koller - 1996 - Journal of Symbolic Logic 61 (1):250-276.
SO(∀∃^*) Sentences and Their Asymptotic Probabilities.Eric Rosen & Jerzy Tyszkiewicz - 2000 - Mathematical Logic Quarterly 46 (4):435-452.
Aczel Peter. The type theoretic interpretation of constructive set theory. Logic Colloquium '77, Proceedings of the colloquium held in Wrocław, August 1977, edited by Macintyre Angus, Pacholski Leszek, and Paris Jeff, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 55–66. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313-314.
Gödel sentences of bounded arithmetic.Gaisi Takeuti - 2000 - Journal of Symbolic Logic 65 (3):1338-1346.
Godel Sentences of Bounded Arithmetic.Arnold Beckmann & Gaisi Takeuti - 2002 - Bulletin of Symbolic Logic 8 (3):433.
Independent gödel sentences and independent sets.A. M. Dawes & J. B. Florence - 1975 - Journal of Symbolic Logic 40 (2):159-166.
Strong 0-1 laws in finite model theory.Wafik Boulos Lotfallah - 2000 - Journal of Symbolic Logic 65 (4):1686-1704.
Counterexamples of the 0-1 law for fragments of existential second-order logic: An overview.Jean-Marie le Bars - 2000 - Bulletin of Symbolic Logic 6 (1):67-82.

Analytics

Added to PP
2009-01-28

Downloads
55 (#393,128)

6 months
7 (#711,641)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references