J. E. Fenstad, “On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic”., Math. Scand., vol. 14, pp. 65–74, Jun. 1964, doi: 10.7146/math.scand.a-10706.