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.