Vaught's Theorem on Axiomatizability by a Scheme
In this paper we give an improvement of Vaught's Theorem on Axiomatizability by a Scheme. We show that any RE theory that directly interprets the theory of non-surjective unordered pairing, where pairing need not be functional, is axiomatizable by a scheme.