A Topological Representation of Semantics of First-order Logic and Its Application as a Method in Model Theory

Yunfei Qin

Various topological concepts are often involved in the research of mathematical logic, and almost all of these concepts can be regarded as developing from the Stone representation…