Zero-one law for an extension of first-order predicate language (Q4007485)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 59333
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Zero-one law for an extension of first-order predicate language |
scientific article; zbMATH DE number 59333 |
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
0.8282354474067688
0 references
0.8106228709220886
0 references
0.8081644773483276
0 references
0.8044564723968506
0 references
