[FOM] Skolem functions

Neil Tennant neilt at mercutio.cohums.ohio-state.edu
Fri May 13 21:25:23 EDT 2005


In order to Skolemize an arbitrary formulae one needs strictly classical
equivalences. There is a paper by Mints, some time back, that investigates
the extent to which the intuitionist can (and cannot) Skolemize.

Neil Tennant



More information about the FOM mailing list