О понятии конечного множества в конструктивной математике

А.А. Владимиров
2011 Logical Investigations  
Известно, что понятие бесконечного множества немонолитно с точки зрения конструктивной математики А. А. Маркова. В статье представлен один общий подход к конструктивистской концепции «типа бесконечности».
doi:10.21146/2074-1472-2011-17-0-84-94 fatcat:g43zwkietbablcrlk35i23sdvq