Truth definitions, Skolem functions and axiomatic set theory

Jaakko Hintikka. Truth definitions, Skolem functions and axiomatic set theory. Bulletin of Symbolic Logic, 4(3):303-337, 1998. [doi]