A. Jensen, “Some Results Concerning a General Set Theoretical Approach to Logic”., Math. Scand., vol. 16, pp. 5–24, Dec. 1965.