Interpretations in Trees with Countably Many Branches (Q2986832)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interpretations in Trees with Countably Many Branches |
scientific article |
Statements
Interpretations in Trees with Countably Many Branches (English)
0 references
16 May 2017
0 references
composition method
0 references
finite-set interpretations
0 references
infinite scattered trees
0 references
monadic second-order logic
0 references
