Hindman's theorem and idempotent types
From MaRDI portal
Publication:1756694
DOI10.1007/s00233-018-9943-4zbMath1436.03301arXiv1508.03613OpenAlexW2963830770MaRDI QIDQ1756694
Publication date: 21 December 2018
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1508.03613
General structure theory for semigroups (20M10) Extremal set theory (05D05) First-order arithmetic and fragments (03F30)
Related Items (1)
Cites Work
This page was built for publication: Hindman's theorem and idempotent types