Zero-one law for an extension of first-order predicate language

DOI10.1007/BF01068621zbMath0752.03021MaRDI QIDQ4007485

V. V. Knyazev

Publication date: 27 September 1992

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

asymptotic behaviorzero-one lawcardinality of modelscombinatorial properties of digraphsextension of first-order predicate language with the quantifier ``there exist no fewer than \(rn\) elementssatisfiability proportion

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Directed graphs (digraphs), tournaments (05C20)

Related Items (2)

Unnamed Item ⋮ On the expressive power of counting

Cites Work

• A zero-one law for logic with a fixed-point operator
• Probabilities on finite models
• Unnamed Item

This page was built for publication: Zero-one law for an extension of first-order predicate language