Complete Tests do not Guarantee Domain
Bernhard Möller · OPUS (Augsburg University) · 2005
We refute, by a counterexample, the conjecture that in a test semiring with complete lattice a domain operation can always be defined. The construction is based on ultrafilters extending the cofinite filter on a set.