Applications of elementary submodels in general topology

Stefan Geschke

pp. 31-41

in: Benedikt Lowe, Florian Rudolph (eds), Foundations of the formal sciences I, Synthese 133, 2002.

Abstrakt

Elementary submodels of some initial segment of the set-theoretic universe are useful in order to prove certain theorems in general topology as well as in algebra. As an illustration we give proofs of two theorems due to Arkhangel’skii concerning cardinal invariants of compact spaces.