Points and Spaces
From MaRDI portal
Publication:5825810
DOI10.4153/CJM-1954-001-9zbMath0055.04601MaRDI QIDQ5825810
Publication date: 1954
Published in: Canadian Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4153/cjm-1954-001-9
Related Items
Unnamed Item, Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting, Gödel and Intuitionism, THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY, Unnamed Item, The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective, Unnamed Item, Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis, Reductibilities in intuitionistic topology, Preconceptual concepts of mathematics, Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative, A transfer theorem in constructive \(p\)-adic algebra, Brouwer's constructivism, A very strong intuitionistic theory, Retracing Cantor's first steps in Brouwer's company, Intuitionism and effective descriptive set theory, Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics, The creating subject, the Brouwer-Kripke schema, and infinite proofs, Realizing Brouwer's sequences, Intuitionism: an inspiration?, Two simple sets that are not positively Borel, The Kripke schema in metric topology, Weyl and Intuitionistic Infinitesimals, Intuitionistic mathematics and wittgenstein