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