Jensen, A. (1965) “Some Results Concerning a General Set Theoretical Approach to Logic”., Mathematica Scandinavica, 16, pp. 5–24. doi:10.7146/math.scand.a-10742.