| | Epsilon Calculi [Internet Encyclopedia of Philosophy] (Site not responding. Last check: 2007-10-22) |
 | | The more general link between epsilon terms and choice functions was first set out by Asser, although Asser's semantics for an elementary epsilon calculus without the second epsilon axiom makes epsilon terms denote rather complex choice functions. |
| | Wilfrid Meyer Viol, calling an epsilon calculus without the second axiom an 'intensional' epsilon calculus, makes the epsilon terms in such a calculus instead name Skolem functions. |
| | One questionable thing about it is that both Leisenring and Meyer Viol do not state that the predicates in question must determine sets before their choice function semantics can apply. |
| www.iep.utm.edu /e/ep-calc.htm (10009 words) |
