Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words (Q5384126)
From MaRDI portal
scientific article; zbMATH DE number 7069582
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words |
scientific article; zbMATH DE number 7069582 |
Statements
Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words (English)
0 references
21 June 2019
0 references
automata
0 references
formal languages
0 references
logic in computer science
0 references
finite words
0 references
context-free grammars
0 references
\(2\)-tape automaton
0 references
Post correspondence problem
0 references
weighted automaton
0 references
finitely generated matrix subsemigroups of \(\mathbb Z^{3 \times 3}\)
0 references
models of set theory
0 references
incompleteness theorems
0 references
large cardinals
0 references
inaccessible cardinals
0 references
independence
0 references
Peano arithmetic
0 references
0 references
0 references
