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.