Algebraic properties of overflow semirings
यह शोध पत्र कम्प्यूटेशनल सैचुरेशन (computational saturation) को मॉडल करने के लिए कार्डिनल अंकगणित के एक सामान्यीकरण के रूप में ओवरफ्लो सेमिरिंग को प्रस्तुत करता है, जो इसके इडेम्पोटेंट्स (idempotents), आइडियल्स (ideals), क्रुल आयाम (Krull dimension), और नोएथेरियन/आर्टिनियन (Noetherian/Artinian) गुणों का एक व्यापक बीजगणितीय लक्षण वर्णन प्रदान करता है।