Este artículo también se encuentra en la antología editada por Stewart Shapiro: "The Limits of Logic: Higher-Order Logic and the Lowenheim-Skolem Theorem".