Title: On the Logical Form of Correlatively Infinite Sets