Chang, C.C. (1963) “The Axiom of Comprehension in Infinite Valued Logic”., Mathematica Scandinavica, 13, pp. 9–30. doi:10.7146/math.scand.a-10685.