We introduce an extensional set theoretical formalism B, a subsystem of Zermelo set theory based on intuitionistic logic, which provides a set theoretic foundation for constructive analysis which is ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback