- Suche

- Kontakt

Complete Tests do not Guarantee Domain

B. Möller
2005-06
Technical Report, Institute of Computer Science, University of Augsburg, March 2005

Abstract:
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.

Downloads: