A new proof of completeness of S4 with respect to the real line / Guram Bezhanishvili, Mai Gehrke

A new proof of completeness of S4 with respect to the real line / Guram Bezhanishvili, Mai Gehrke