A disproof the Le Bars conjecture about the zero-one law for existential monadic second-order sentences
type: Item
instance of: scholarly article
title: A disproof the Le Bars conjecture about the zero-one law for existential monadic second-order sentences
zbMATH Open document ID: 1484.03072
DOI: 10.1134/S1064562418070311
author: Xianqiang Yang
published in: Doklady Mathematics
publication date: 2019-03-15T00:00:00Z
Mathematics Subject Classification ID: 03C85
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 05C80
Mathematics Subject Classification ID: 60F20
zbMATH DE Number: 7036543
MaRDI profile type: Publication
Wikidata QID: Q114847316
cites work: Random graphs: models and asymptotic characteristics
cites work: Q4519896
cites work: The strange logic of random graphs
cites work: Logical laws for existential monadic second-order sentences with infinite first-order parts
cites work: The 0-1 law fails for monadic existential second-order logic on undirected graphs
cites work: Elements of finite model theory.
cites work: Q5611005
cites work: Probabilities on finite models
cites work: When does the zero-one \(k\)-law fail?
cites work: First-order properties of bounded quantifier depth of very sparse random graphs
cites work: First order sentences about random graphs: small number of alternations
cites work: On random models of finite power and monadic logic
full work available at URL: s1064562418070311
OpenAlex ID: W2909770914
description: scientific article; zbMATH DE number 7036543