Points and Spaces
From MaRDI portal
Cited in
(30)- On some of Brouwer's axioms
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- 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
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
- The Fan Theorem, its strong negation, and the determinacy of games
- Weyl and Intuitionistic Infinitesimals
- Shaping the enemy: foundational labelling by L.E.J. Brouwer and A. Heyting
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- Preconceptual concepts of mathematics
- Intuitionistic mathematics and wittgenstein
- Gödel and intuitionism
- Notes on my scientific life
- THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY
- Two simple sets that are not positively Borel
- Realizing Brouwer's sequences
- A very strong intuitionistic theory
- Something But Not Too Much: Ontological Considerations in Intuitionistic Mathematics
- scientific article; zbMATH DE number 3432236 (Why is no real title available?)
- scientific article; zbMATH DE number 3341975 (Why is no real title available?)
- Intuitionism: an inspiration?
- Intuitionism and effective descriptive set theory
- Retracing Cantor's first steps in Brouwer's company
- Projective sets, intuitionistically
- A transfer theorem in constructive \(p\)-adic algebra
- Brouwer's constructivism
- scientific article; zbMATH DE number 3280030 (Why is no real title available?)
- The Kripke schema in metric topology
- Reductibilities in intuitionistic topology
- The principle of open induction on \([0, 1]\) and the approximate-fan theorem
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)
