Author:
Schuster Peter,Zappe Júlia
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Mines, R., Richman, F., Ruitenburg, W.: A Course in Constructive Algebra. Springer, New York (1988)
2. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill Book Co., New York (1967)
3. Bishop, E., Bridges, D.: Constructive Analysis. Springer, Berlin (1985)
4. Richman, F.: Intuitionism as generalization. Philos. Math. 5(2), 124–128 (1990)
5. Richman, F.: The fundamental theorem of algebra: a constructive development without choice. Pacific J. Math. 196, 213–230 (2000)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reifying dynamical algebra: Maximal ideals in countable rings, constructively;Computability;2024-04-26
2. Constructing Gröbner bases for Noetherian rings;Mathematical Structures in Computer Science;2013-10-08
3. Noetherian orders;Mathematical Structures in Computer Science;2010-12-02
4. Spectral schemes as ringed lattices;Annals of Mathematics and Artificial Intelligence;2009-08