Finite state automata and monadic definability of singular cardinals (Q3503746)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite state automata and monadic definability of singular cardinals |
scientific article |
Statements
Finite state automata and monadic definability of singular cardinals (English)
0 references
9 June 2008
0 references
singular cardinal
0 references
monadic second-order formula
0 references
definability
0 references
class of ordinals
0 references
