Zero-one law and definability of linear order (Q3616345)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Zero-one law and definability of linear order |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Zero-one law and definability of linear order |
scientific article |
Statements
Zero-one law and definability of linear order (English)
0 references
25 March 2009
0 references
first-order zero-one laws
0 references
generalized quantifiers
0 references
Lindström quantifiers
0 references
order-invariant first-order logic
0 references
ordered random graphs
0 references
random quantifiers
0 references