The topology of elementary submodels - Junqueira, Lucia Renato; Tall, Franklin D (Topology and its Applications, 1998)