19 citations · 37 across the 20 of their papers we have counts for
4 papers · 1 filter
Schur's theorem in integer lattices
Vishal Balaji, Andrew Lott, Alex Rice
A standard proof of Schur's Theorem yields that any -coloring of yields a monochromatic solution to , where is the classical -color Ramsey…
Enumerating Independent Linear Inferences
Anupam Das, Alex Rice
A linear inference is a valid inequality of Boolean algebra in which each variable occurs at most once on each side. In this work we leverage recently developed graphical represent…
A Type Theory for Strictly Associative Infinity Categories
Eric Finster, Alex Rice, Jamie Vicary
Many definitions of weak and strict -categories have been proposed. In this paper we present a definition for -categories with strict associators, but which is othe…
The pigenhole principle and multicolor Ramsey numbers
Vishal Balaji, Powers Lamb, Andrew Lott +4
For integers , the diagonal Ramsey number is the minimum such that every -coloring of the edges of a complete graph on vertices yields o…