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
         
        
        
        
        
        
            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;
         
        
        
        
            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
         
        
        
            DOI : 
10.1109/LICS.1991.151652