Zero-one law for an extension of first-order predicate language (Q4007485)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Zero-one law for an extension of first-order predicate language |
scientific article |
Statements
Zero-one law for an extension of first-order predicate language (English)
0 references
27 September 1992
0 references
cardinality of models
0 references
zero-one law
0 references
extension of first-order predicate language with the quantifier ``there exist no fewer than \(rn\) elements''
0 references
asymptotic behavior
0 references
satisfiability proportion
0 references
combinatorial properties of digraphs
0 references
