Covers the logical structure of principles equivalent to choice and bar induction, focusing on generalized dependent choice and its implications in mathematics.
Explores the existence of mathematical objects, truth of propositions, and knowledge about them, covering Platonism, Intuitionism, Structuralism, Nominalism, Logicism, and Formalism.
