Contents

• Contents
• Real Analysis and Topology
• Banach Space Theory
• Ramsey Theory
• WQO Theory
• Replacing $\mathsf{RCA}_0$ by a Weaker Base Theory
• Bibliography