The Logic of Choice
- Andreas Blass ,
- Yuri Gurevich
Journal of Symbolic Logic | , Vol 65: pp. 1264-1310
We study extensions of first-order logic with the choice construct (choose x : phi(x)). We prove some results about Hilbert’s epsilon operator, but in the main part of the paper we consider the case when all choices are independent.