Intuitionism As Generalization (1990)

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

Active Bibliography

Locality, Weak or Strong Anticipation and Quantum Computing. I. Non-locality in Quantum Theory – M. A. Heather, B. N. Rossiter
MATHEMATICAL LOGIC QUARTERLY – A Journal, Mathematical Logic, John L. Bell, M Lq - 2007
1 EM + Ext − + ACint is equivalent to ACext – Jesper Carlström - 2004
2 Elementary constructive operational set theory. To appear in: Festschrift for Wolfram Pohlers, Ontos Verlag – A. Cantini, L. Crosilla, Dedicated Prof, Wolfram Pohlers
TYPES, SETS AND CATEGORIES – John L. Bell
3 The Development of Categorical Logic – John L. Bell
2 A minimalist two-level foundation for constructive mathematics – Maria Emilia Maietti - 811
History of Constructivism in the 20th Century – A.S. Troelstra
The History of Mathematical Logic (vastly abbreviated and horribly simplified) – Michal Walicki - 1997
2 Arguments for the Continuity Principle – M. van Atten, D. van Dalen - 2000
M4M 2007 Continuous Functions on Final Coalgebras – Neil Ghani, Peter Hancock, Dirk Pattinson
CONTENTS Contents – Wolfgang Orthuber
physically existing reality – Wolfgang Orthuber - 2001
4 An Application of Constructive Completeness. – Thierry Coquand, Jan M. Smith - 1995
ITERATED DEFINABILITY, LAWLESS SEQUENCES AND BROUWER’S CONTINUUM – Joan Rand Moschovakis
2 A Negationless Interpretation of Intuitionistic Axiomatic Theories: Higher-order Arithmetic – Victor N. Krivtsov - 1998
Constructive Mathematical Truth – Dmytro Taranovsky - 2006
2 Locating the range of an operator on a Hilbert space – Douglas Bridges, Hajime Ishihara - 1992
Formal Proof: Reconciling Correctness and Understanding – Cristian S. Calude, Christine Müller