|
|
UNAVOIDABLE SEQUENCES IN CONSTRUCTIVE ANALYSIS
– Joan Rand Moschovakis
|
|
3
|
Understanding And Using Brouwer's Continuity Principle
– Wim Veldman, Wim Veldman, Subfaculteit Wiskunde
- 2000
|
|
4
|
The Borel hierarchy and the projective hierarchy in intuitionistic mathematics
– Wim Veldman, Wim Veldman, E. Borel, H. Lebesgue, R. Baire, N. Lusin, A. Souslin
- 2001
|
|
1
|
Proving Properties of Typed Lambda Terms Using Realizability, Covers, and Sheaves
– Jean Gallier, Jean Gallier
- 1995
|
|
|
Proving Properties of Typed λ-Terms Using Realizability, Covers, and Sheaves
– Jean Gallier
- 1995
|
|
|
Oberwolfach Proof Theory and Constructive Math
– Joan Rand Moschovakis
|
|
15
|
Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics
– Wim Veldman, Marc Bezem
- 1992
|
|
|
3584 CS Utrecht The NetherlandsRAMSEY'S THEOREM: AND THE PIGEONHOLE PRINCIPLE IN INTUITIONISTIC MATHEMATICS
– Wim Veldman, Marc Bezem, Wim Veldman, Mathematisch Instituut, Marc Bezem
- 1992
|
|
|
On The Persistent Difficulty Of Disjunction
– Wim Veldman, Wim Veldman
- 2000
|
|
|
SOME AXIOMS FOR CONSTRUCTIVE ANALYSIS
– Joan Rand, Moschovakis, Garyfallia Vafeiadou
|
|
|
ANOTHER UNIQUE WEAK KÖNIG’S LEMMA WKL!!
– Joan Rand Moschovakis
|
|
|
Metamathematical Properties of Intuitionistic Set Theories with Choice Principles
– Michael Rathjen
|
|
10
|
Notions of computability at higher types I
– John Longley
- 2005
|
|
26
|
Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals
– Ulrich Kohlenbach
- 1995
|
|
3
|
Inaccessible Set Axioms May Have Little Consistency Strength
– L. Crosilla, M. Rathjen
|
|
|
From a Practical Problems to Constructive
– Martine Ceberio, Vladik Kreinovich
|
|
|
Characterizing the interpretation of set theory in Martin-Löf type
– Michael Rathjen, Sergei Tupailo, Leeds Ls Jt
|
|
4
|
Choice principles in constructive and classical set theories
– Michael Rathjen
- 2002
|
|
2
|
Elementary constructive operational set theory. To appear in: Festschrift for Wolfram Pohlers, Ontos Verlag
– A. Cantini, L. Crosilla, Dedicated Prof, Wolfram Pohlers
|
