The Baire space I – getting off the ground

An area in mathematics concerning a special kind of topological spaces called Baire spaces is an example of a notion that intersects three branches of mathematics, namely topology, analysis and set theory – this intersection in particular is called descriptive set theory. We start off by defining the space, then exploring its properties and ending up looking at its applications throughout analysis and topology. Continue reading

The unstable pillar

When reading about the foundations of mathematics, one is bound to stumble upon the notion of “the four pillars of the foundations of mathematics”; namely, proof theory, model theory, recursion theory and axiomatic set theory. But what exactly is it about these areas that makes them get this prestigious title? One can argue that these “pillars” have a metamathematical nature, in that they try to describe methods of existing mathematics instead of describing elements of the mathematical realm. Proof theory about the way of proofs, model theory about how we construct new structures and recursion theory deals with questions about which parts of mathematics can be computed. I would argue that the last “pillar”, axiomatic set theory, does not fall into this category of metamathematics.

Continue reading