Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively
Ana Sokolova, Harald Woracek
We reprove the countable splitting lemma by adapting Nawrotzki's algorithm which produces a sequence that converges to a solution. Our algorithm combines Nawrotzki's approach with…
cs.LO2018
Proper Semirings and Proper Convex Functors
Ana Sokolova, Harald Woracek
Esik and Maletti introduced the notion of a proper semiring and proved that some important (classes of) semirings -- Noetherian semirings, natural numbers -- are proper. Properness…