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