Induced Cylindric Algebras of Choice Structures

Zoltan Molnar

One of the benefit properties implied by the extensionality axiom of Hilbert's epsilon calculus is that the calculus becomes complete with respect to the choice structures as seman…