- 158 Downloads
The goal of this paper is to develop the basics of IL, that is, L under intuitionistic reasoning. The highlights are that (under IZF) IL is a model of V = L and also of IZF. While these are not exciting results classically, they and their associated lemmas are examples of the phenomenon that classical trivialities can become sticky intuitionistically, when they are not downright false.
KeywordsKripke Model Main Lemma Intuitionistic Reasoning Decode Function Easy Corollary
Unable to display preview. Download preview PDF.
- [G2]Grayson, R. , Hey ting-valued models for intuitionistic set theory, Applications of Sheaves ( Fourman, Mulvey and Scott, eds.), Springer Lecture Notes in Mathematics 753, 402–414.Google Scholar
- [Li]Lipton, J., Readability, set theory, and term extraction, in The Curry-Howard Isomorphism. To appear.Google Scholar
- [Lu]Lubarsky, R., IKP and friends. To appear.Google Scholar
- [S]Scedrov, A. , Intuitionistic set theory, Harvey Friedman’s Research on the Foundations of Mathematics, North-Holland, 257–284.Google Scholar