Chang, C. C. (1963). The Axiom of Comprehension in Infinite Valued Logic. MATHEMATICA SCANDINAVICA, 13, 9–30. https://doi.org/10.7146/math.scand.a-10685