Points and Spaces
From MaRDI portal
Cited in
(30)- 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
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- scientific article; zbMATH DE number 3432236 (Why is no real title available?)
- 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
- The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
- Reductibilities in intuitionistic topology
- scientific article; zbMATH DE number 3280030 (Why is no real title available?)
- scientific article; zbMATH DE number 3341975 (Why is no real title available?)
- Preconceptual concepts of mathematics
- Projective sets, intuitionistically
- Something But Not Too Much: Ontological Considerations in Intuitionistic Mathematics
- Notes on my scientific life
- The principle of open induction on \([0, 1]\) and the approximate-fan theorem
- On some of Brouwer's axioms
- The Fan Theorem, its strong negation, and the determinacy of games
This page was built for publication: Points and Spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5825810)
