Chang, C. C. The Axiom of Comprehension in Infinite Valued Logic. Math. Scand. 1963, 13, 9-30. https://doi.org/10.7146/math.scand.a-10685.