Rieg theory
Semirings with exponentiation, connecting arithmetic, logic, and categorical counting.
Purpose
Develop a coherent theory of semirings with exponentiation and use it to connect finite and profinite arithmetic, logic, enumerative combinatorics, and category theory.
Rieg theory: the research programme
Readers (30 days): 1Updated: 30 Oct 2026
⋯
App did not open?
Enable SUMIRE in your conversation. If the request is not filled in, paste the copied request. If the app does not open, install it or use its website.