3 papers
math.CO2026
The sum-product problem for small sets II
Phillip Antis, Holden Britt, Caleigh Chapman +3
We establish that every set of natural numbers determines at least distinct pairwise sums or at least distinct pairwise products, as well as the analogous result f…
math.NT2025
Notes and computations on forbidden differences
Christian Dean, Haley Havard, Elizabeth Hawkins +3
We explore from several perspectives the following question: given and , what is the maximum size of …
cs.LO2025
A type-theoretic approach to semistrict higher categories
Alex Rice
Weak -categories are known to be more expressive than their strict counterparts, but are more difficult to work with, as constructions in such a category involve the manipu…