The Logical Strength of Büchi's Decidability Theorem (Q5278425): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| label / en | label / en | ||
The Logical Strength of Büchi's Decidability Theorem | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa58112/Download/58112__21287__32db592f044540d3a9d874c393b0eda9.pdf / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2963236881 / rank | |||
Normal rank | |||
| Property / title | |||
The Logical Strength of Büchi's Decidability Theorem (English) | |||
| Property / title: The Logical Strength of Büchi's Decidability Theorem (English) / rank | |||
Normal rank | |||
Latest revision as of 09:25, 30 July 2024
scientific article; zbMATH DE number 6748885
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Logical Strength of Büchi's Decidability Theorem |
scientific article; zbMATH DE number 6748885 |
Statements
19 July 2017
0 references
nondeterministic automata
0 references
monadic second-order logic
0 references
Büchi's theorem
0 references
additive Ramsey theorem
0 references
reverse mathematics
0 references
The Logical Strength of Büchi's Decidability Theorem (English)
0 references
