First-order topological axioms
From MaRDI portal
Publication:3925519
DOI10.2307/2273750zbMath0472.54002WikidataQ114589060 ScholiaQ114589060MaRDI QIDQ3925519
Publication date: 1981
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273750
54A05: Topological spaces and generalizations (closure spaces, etc.)
54D05: Connected and locally connected spaces (general aspects)
54E15: Uniform structures and generalizations
54D10: Lower separation axioms ((T_0)--(T_3), etc.)
03C40: Interpolation, preservation, definability