Hindman's theorem, ultrafilters, and reverse mathematics (Q5313381)
From MaRDI portal
scientific article; zbMATH DE number 2199914
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hindman's theorem, ultrafilters, and reverse mathematics |
scientific article; zbMATH DE number 2199914 |
Statements
Hindman's theorem, ultrafilters, and reverse mathematics (English)
0 references
29 August 2005
0 references
reverse mathematics
0 references
Hindman's Theorem
0 references
Milliken's Theorem
0 references
computability
0 references
