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
Link To Document