n - Infinite Forcing via Infinite Forcing Milan Grulović (2001) Publications de l'Institut Mathématique
Note on a theorem of Putnam's. Barr, Michael (1997) Theory and Applications of Categories [electronic only]