Intuitionism As Generalization (1990)

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

Documents Related by Co-Citation

401 Vulnerabilities Analysis – Matt Bishop - 1999
4 Interview with a Constructive Mathematician", Modern Logic 6 – Fred Richman - 1996
54 D: ‘Constructive Analysis’, Grundlehren der math – E Bishop, Bridges - 1985
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
265 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
156 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
24 A Course of Constructive Algebra – R Mines, F Richman, W Ruitenburg - 1988
59 The Elements of Mechanics – Giovanni Gallavotti, I. N. F. N. Roma, Fisica Roma - 1983
5 Standard bases for general coefficient rings and a new constructive proof of Hilbert’s basis theorem – C Jacobsson, C Löfwall