Title: Languages with expressions of infinite length (Studies in logic and the foundations of mathematics)