PP-2002-06: Guram Bezhanishvili, Mai Gehrke A New Proof of Completeness of S4 with respect to the Real Line 1.Full Text, 2.Abstract. < Back