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