The book was published in electronic form on the website mathtree.ru 02.03.2015
VOLUME 3
of Vladimir Alfeevich Kuznetsov’s book
« Intuitionistic set theory »
- 2015, - 177 p.
of Vladimir Alfeevich Kuznetsov’s book
« Intuitionistic set theory »
- 2015, - 177 p.
The book is the third part of the 15-year research of the author on intuitionistic set theory. Reducible studies include intuitionistic double forcing, created within the axiomatic system K of intuitionistic set theory, obtained by the author in the first volume.
The main feature of intuitionistic double forcing, offered by the author, consists that a models of intuitionistic set theory theory are not used.
The book is intended for a wide circle of mathematicians.
The main feature of intuitionistic double forcing, offered by the author, consists that a models of intuitionistic set theory theory are not used.
The book is intended for a wide circle of mathematicians.
77,6 MB
Volume 3 is presented in Russian only
