The following pages link to Points and Spaces (Q5825810):
Displaying 25 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- A transfer theorem in constructive \(p\)-adic algebra (Q1194243) (← links)
- Brouwer's constructivism (Q1220903) (← links)
- A very strong intuitionistic theory (Q1234293) (← links)
- Retracing Cantor's first steps in Brouwer's company (Q1688956) (← links)
- Intuitionism and effective descriptive set theory (Q1688967) (← links)
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics (Q1740612) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Realizing Brouwer's sequences (Q1923574) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Two simple sets that are not positively Borel (Q2488272) (← links)
- The Kripke schema in metric topology (Q3144876) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- Intuitionistic mathematics and wittgenstein (Q3980085) (← links)
- (Q5183476) (← links)
- Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting (Q5208120) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY (Q5323793) (← links)
- The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective (Q5387301) (← links)
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis (Q5537358) (← links)
- Reductibilities in intuitionistic topology (Q5549028) (← links)
- (Q5565081) (← links)
- (Q5618346) (← links)
- Preconceptual concepts of mathematics (Q6169840) (← links)
- Projective sets, intuitionistically (Q6170638) (← links)
