Simple monadic theories and partition width (Q3170562)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simple monadic theories and partition width |
scientific article |
Statements
Simple monadic theories and partition width (English)
0 references
27 September 2011
0 references
monadic second-order logic
0 references
tree-like decompositions of models
0 references
partition width
0 references
definable pairing functions
0 references
indiscernible sequences
0 references
