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