@book{SR--2006--02,
year={2010},
author={Claus-Peter Wirth},
title={{Hilbert's} epsilon as an Operator of Indefinite Committed Choice},
publisher={{SEKI Publications}},
series={{SEKI-Report SR--2006--02 (ISSN 1437--4447)}},
address={Saarland Univ.},
note={Rev. ed. {\url{http://arxiv.org/abs/0902.3749}}},
abstract={Paul Bernays and David Hilbert carefully avoided overspecification of Hilbert's epsilon-operator and axiomatized only what was relevant for their proof-theoretic investigations. Semantically, this left the epsilon-operator underspecified. In the meanwhile, there have been several suggestions for semantics of the  epsilon as a choice operator. We propose a further one with the following features: We avoid overspecification (such as functionality), but admit indefinite choice, committed choice, and classical logics. Moreover, our semantics for the epsilon supports proof search optimally and is natural in the sense that it does not only mirror some cases of referential interpretation of indefinite articles in natural languages, but may also contribute to philosophy of language.},
}