Expressing cardinality quantifiers in monadic second-order logic over chains (Q3011122)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expressing cardinality quantifiers in monadic second-order logic over chains |
scientific article |
Statements
Expressing cardinality quantifiers in monadic second-order logic over chains (English)
0 references
28 June 2011
0 references
extension of monadic second-order logic of order
0 references
cardinality quantifiers
0 references
countable linear orders
0 references
chains
0 references
ordinals
0 references
