Selection in the monadic theory of a countable ordinal (Q3617361)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Selection in the monadic theory of a countable ordinal |
scientific article |
Statements
Selection in the monadic theory of a countable ordinal (English)
0 references
23 March 2009
0 references
monadic second-order logic of order
0 references
countable ordinal
0 references
selection property
0 references
