Rieg theory
Semirings with exponentiation, connecting arithmetic, logic, and categorical counting.
| Question | Status | Updated |
|---|---|---|
| Finite presheaf topoi | Answer proposed | 30 Oct 2026 |
| Functions ℕ→ℕ from F1 | Answer proposed | 30 Oct 2026 |
| Free rieg elements as games | Open | 30 Oct 2026 |
| Rational subrieg of [0,∞) | Open | 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.