• DocumentCode
    2149476
  • Title

    On the 0-1 law for the class of existential second order minimal Godel sentences with equality

  • Author

    Pacholski, Leszek ; Szwast, Wieslaw

  • Author_Institution
    Math. Inst., Polish Acad. of Sci., Wroclaw, Poland
  • fYear
    1991
  • fDate
    15-18 July 1991
  • Firstpage
    280
  • Lastpage
    285
  • Abstract
    It is proved that the 0-1 law does not hold for the class of existential second sentences whose first order part is in the minimal Godel class, i.e. has the quantifier prenex consisting of two universal quantifiers followed by just one existential quantifier. This completes the classification of existential second order sentences for which the 0-1 law holds. It is also proved that asymptotic probabilities of sentences as above form a dense subset of the unit interval
  • Keywords
    formal logic; 0-1 law; asymptotic probabilities; classification; dense subset; equality; existential quantifier; existential second order minimal Godel sentences; first order part; prenex; unit interval; universal quantifiers; Logic; Mathematics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on
  • Conference_Location
    Amsterdam
  • Print_ISBN
    0-8186-2230-X
  • Type

    conf

  • DOI
    10.1109/LICS.1991.151652
  • Filename
    151652