A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lano, K., The intuitionistic alternative set theory, Annals of Pure and Applied Logic 59 (1993) 141-156. The Alternative Set Theory, as defined in Vopenka and Sochor, demonstrates how a set theory which avoids actually infinite sets can serve as a framework for much of classical mathematics. This paper defines a theory which can serve as an intuitionistic analogue of AST, and examines motivations for alternative formulations of classical AST from an intuitionistic and finitistic viewpoint. Thedoi:10.1016/0168-0072(93)90002-u fatcat:kjyvxy4tgbb5ze5ykouqjtlw3u