The logic of choice (2000)

by A Blass, Y Gurevich
Venue:Journal of Symbolic Logic