The Complexity of Infinite Computations In Models of Set Theory (Q3401139)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Complexity of Infinite Computations In Models of Set Theory |
scientific article |
Statements
The Complexity of Infinite Computations In Models of Set Theory (English)
0 references
28 January 2010
0 references
infinite words
0 references
\(\omega \)-languages
0 references
1-counter automaton
0 references
2-tape automaton
0 references
two-dimensional words
0 references
tiling systems
0 references
Cantor topology
0 references
topological complexity
0 references
Borel sets
0 references
effective coanalytic set
0 references
models of set theory
0 references
independence from ZFC
0 references
