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