The following pages link to Wim Veldman (Q185815):
Displayed 42 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Some observations on intuitionistically elementary properties of linear orderings (Q582291) (← links)
- Item:Q185815 (redirect page) (← links)
- Intuitionistic validity in \(T\)-normal Kripke structures (Q685055) (← links)
- Another proof of the intuitionistic Ramsey theorem (Q685402) (← links)
- The Borel conjecture (Q753806) (← links)
- Several epistemological problems related to the concept of systems (Q810487) (← links)
- Topological models of epistemic set theory (Q916657) (← links)
- On the Brouwerian concept of negative continuity (Q1094422) (← links)
- Computable functionals and arithmetic of ordinal types (Q1105588) (← links)
- The conveyability of intuitionism, an essay on mathematical cognition (Q1111535) (← links)
- An analysis of Ramsey's theorem (Q1327381) (← links)
- Retracing Cantor's first steps in Brouwer's company (Q1688956) (← links)
- An intuitionistic proof of Kruskal's theorem (Q1879322) (← links)
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels (Q1923579) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Two simple sets that are not positively Borel (Q2488272) (← links)
- Equality and equivalence, intuitionistically (Q2658274) (← links)
- (Q2988071) (← links)
- (Q3313858) (← links)
- Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics (Q3353014) (← links)
- Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem (Q3613310) (← links)
- (Q3620032) (← links)
- (Q3643322) (← links)
- The continuum hypothesis in intuitionism (Q3910521) (← links)
- An intuitiomstic completeness theorem for intuitionistic predicate logic (Q4126319) (← links)
- (Q4552754) (← links)
- (Q4694225) (← links)
- (Q4941995) (← links)
- (Q5004955) (← links)
- Enrico Martino.*Intuitionistic Proof Versus Classical Truth, The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics (Q5124669) (← links)
- IN MEMORIAM: WALTER (WOUTER) VAN STIGT (1927–2015) (Q5283456) (← links)
- (Q5310896) (← links)
- THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY (Q5323793) (← links)
- The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective (Q5387301) (← links)
- Some elementary results in intuitionistic model theory (Q5687313) (← links)
- A constructive converse of the mean value theorem (Q5935893) (← links)
- Projective sets, intuitionistically (Q6170638) (← links)
- The Fan Theorem, its strong negation, and the determinacy of games (Q6246804) (← links)
- The Principle of Open Induction on Cantor space and the Approximate-Fan Theorem (Q6253850) (← links)
- Intuitionism: an inspiration? (Q6359652) (← links)
- On some of Brouwer's axioms (Q6390917) (← links)