Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively
Logic in Computer Science
2021-06-15 v1 Probability
Abstract
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 taking finite cuts. It is constructive in the sense that each term of the iteratively built approximating sequence as well as the error between the approximants and the solution is computable with finitely many algebraic operations.
Cite
@article{arxiv.2106.06614,
title = {Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively},
author = {Ana Sokolova and Harald Woracek},
journal= {arXiv preprint arXiv:2106.06614},
year = {2021}
}