Large sets in intuitionistic set theory |
| |
| Authors: | Harvey Friedman Andrej Ščedrov |
| |
| Affiliation: | Department of Mathematics, Ohio State University, Columbus, OH 43210, USA;Department of Mathematics, University of Pennsylvania, Philadelphia, PA 19104, USA |
| |
| Abstract: | We consider properties of sets in an intuitionistic setting corresponding to large cardinals in classical set theory. Adding such ‘large set axioms’ to intuitionistic ZF set theory does not violate well-know metamathematical properties of intuitionistic systems. Moreover, we consider statements in constructive analysis equivalent to the consistency of such ‘large set axioms’. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
