A Topological Representation of Semantics of First-order Logic and Its Application as a Method in Model Theory - Yunfei Qin (2022)