Intuitionism As Generalization (1990)

by Fred Richman
Venue:Philosophia Math
Citations:7 - 1 self

Active Bibliography

162 Constructivism and Proof Theory – A. S. Troelstra - 2003
26 Local stability of ergodic averages – Jeremy Avigad, Henry Towsner
17 Number theory and elementary arithmetic – Jeremy Avigad - 2003
16 Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics – Wim Veldman, Marc Bezem - 1992
13 Relative Constructivity – Ulrich Kohlenbach - 1996
4 An Application of Constructive Completeness. – Thierry Coquand, Jan M. Smith - 1995
3 The Development of Categorical Logic – John L. Bell
8 MetaPRL - A Modular Logical Environment – Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir N. Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu - 2003
2 A minimalist two-level foundation for constructive mathematics – Maria Emilia Maietti - 811