Intuitionism As Generalization (1990)

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

Documents Related by Co-Citation

404 Vulnerabilities Analysis – Matt Bishop - 1999
4 Interview with a Constructive Mathematician", Modern Logic 6 – Fred Richman - 1996
55 Constructive Analysis; Grundlehren der – E A Bishop, D S Bridges
22 Constructive mathematics: A foundation for computable analysis – D S Bridges - 1999
12 The fundamental theorem of algebra: a constructive development without choice – Fred Richman - 2000
263 Foundations of Constructive Mathematics – M J Beeson - 1985
3 M: Countable choice as a questionable uniformity principle – P Schuster
17 Lectures on constructive mathematical analysis, volume 60 of Translations of Mathematical Monographs – B A Kushner - 1984
157 An intuitionistic theory of types: Predicative part – P Martin-Löf - 1975
2 The ascending tree condition: constructive algebra without countable choice – Fred Richman - 2003
1 A Constructive Version of Hilbert’s Basis Theorem – J Tennenbaum - 1973
1 Strongly Noetherian rings and constructive ideal theory – H Perdry
1 modules, commutative rings, Hilbert basis theorem, countable choice, constructive algebra – Sem Mat Fis Milano - 1974
1 On the connectivity of convex sets – Douglas Bridges
1 12� A. Heyting, �Die formalen Regeln der intuitionistischen Logik", Sitzungsber – Logik Grundlagen Math - 1978
11 Constructive aspects of Noetherian rings – F Richman - 1974
5 Standard bases for general coefficient rings and a new constructive proof of Hilbert’s basis theorem – C Jacobsson, C Löfwall
7 Calcul di erentiel – H Cartan - 1967
267 Foundations of Modern Analysis – J Dieudonne - 1969