TY  - RPRT
A1  - Möller, Bernhard
T1  - Complete tests do not guarantee domain
N2  - 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.
T3  - Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg - 2005-06 
Y1  - 2006
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/247
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-1988
PB  - Institut für Informatik, Universität Augsburg
CY  - Augsburg
ER  -