On The 0-1 Law For The Class Of Existential 2nd-Order Minimal Godel Sentences With Equality
Amsterdam（1991）
摘要
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
更多查看译文
关键词
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
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要