Classical And Constructive Hierarchies In Extended Intuitionistic Analysis

Cached

Download Links

by Joan Rand Moschovakis
Citations:4 - 3 self

Active Bibliography

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
Note on Π 0 n+1-LEM, Σ0 n+1-LEM and Σ0 n+1-DNE⋆ – Joan R. Moschovakis
Proof interpretations: theoretical and practical aspects – Jaime Gaspar - 2011
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
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
16 Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics – Wim Veldman, 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
54 Analyzing Proofs in Analysis – Ulrich Kohlenbach - 1993
12 Notions of computability at higher types I – John Longley - 2005
1 Metamathematical Properties of Intuitionistic Set Theories with Choice Principles – Michael Rathjen
3 Inaccessible Set Axioms May Have Little Consistency Strength – L. Crosilla, M. Rathjen
Constraint Problems: Computability is . . . – Martine Ceberio, Vladik Kreinovich
34 Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals – Ulrich Kohlenbach - 1995