1. Bacon, J. (1986). Supervenience, necessary coextension, and reducibility. Philosophical Studies, 49, 163–176.
2. Barwise, J. (1973). Back and forth through infinitary logic. In M. Morley (Ed.), Studies in model theory (pp. 5–34). Buffalo, NY: The Mathematical Association of America.
3. Currie, G. (1990). Supervenience, essentialism and aesthetic properties. Philosophical Studies, 58, 243–257.
4. Glanzberg, M. (2001). Supervenience and infinitary logic. Noûs, 35, 419–439.
5. Karp, C. (1965). Finite-quantifier equivalence. In J. W. Addison, L. Henkin and A. Tarski (Eds.), The Theory of Models (pp. 407–412). Amsterdam: North-Holland Publishing Company.