Chang, C. C. The Axiom of Comprehension in Infinite Valued Logic. Math. Scand. 1963, 13, 9-30.