In the video, I discuss Quine's use of the Lowenheim-Skolem theorem. I should have said "positively" rather than "negatively." Rather than rerecord the entire video, I'd like to add the point that while Quine (in "Ontological Relativity") and Putnam (in "Models and Reality") may have been comfortable with import of such logical results, the relationship between that theorem and metaphysical conclusions has come under attack. So, Derek may want to address similar issues in his paper...