Chang, C. C. “The Axiom of Comprehension in Infinite Valued Logic”. MATHEMATICA SCANDINAVICA, vol. 13, Dec. 1963, pp. 9-30, doi:10.7146/math.scand.a-10685.