Hindman's theorem and idempotent types (Q1756694)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hindman's theorem and idempotent types |
scientific article |
Statements
Hindman's theorem and idempotent types (English)
0 references
21 December 2018
0 references
IP set
0 references
Hindman's theorem
0 references
idempotent type
0 references
