The book was published in electronic form on the website mathtree.ru 10.06.2015
VOLUME 3, extended edition
of Vladimir Alfeevich Kuznetsov’s book
« Intuitionistic set theory »
- 2015, - 247 p.
of Vladimir Alfeevich Kuznetsov’s book
« Intuitionistic set theory »
- 2015, - 247 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.
107 MB
