Expressing cardinality quantifiers in monadic second-order logic over chains (Q3011122)
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: Expressing cardinality quantifiers in monadic second-order logic over chains |
scientific article; zbMATH DE number 5913853
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Expressing cardinality quantifiers in monadic second-order logic over chains |
scientific article; zbMATH DE number 5913853 |
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
0.893707275390625
0 references
0.8566208481788635
0 references
0.775115966796875
0 references
