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