zbMATH — the first resource for mathematics

First order topology. (English) Zbl 0399.03019

03B99 General logic
03B25 Decidability of theories and sets of sentences
54A99 Generalities in topology
03B10 Classical first-order logic
03B15 Higher-order logic; type theory (MSC2010)
46E25 Rings and algebras of continuous, differentiable or analytic functions
54D35 Extensions of spaces (compactifications, supercompactifications, completions, etc.)
54E35 Metric spaces, metrizability
54D15 Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.)
03C75 Other infinitary logic
54H99 Connections of general topology with other structures, applications