Hindman's theorem: an ultrafilter argument in second order arithmetic (Q3083144): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2033215939 / rank | |||
Normal rank | |||
| Property / arXiv ID | |||
| Property / arXiv ID: 0906.3882 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Ultrafilters: Some old and some new results / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A short proof of Hindman's theorem / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An effective proof that open sets are Ramsey / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5589084 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4220572 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Algebra in the Stone-Čech compactification: theory and applications / rank | |||
Normal rank | |||
Latest revision as of 21:04, 3 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hindman's theorem: an ultrafilter argument in second order arithmetic |
scientific article |
Statements
Hindman's theorem: an ultrafilter argument in second order arithmetic (English)
0 references
18 March 2011
0 references
Hindman
0 references
reverse mathematics
0 references
IP
0 references
half-match
0 references
full-match
0 references
ultrafilter proof
0 references
