The axiomatic system К of intuitionistic set theory is presented below
Nikolay Nikolaevich Lusin
Emile Borel
Henri Lebesgue
Rene-Louis Baire
Founders of the Paris School of Intuitionism
The research presented the second, third, fourth, fifth, sixth and seventh volumes completes the full practical implementation of the ideology of the Parisian school of intuitionism in such major areas of set theory as general set theory, the forcing method (the double forcing deserves special attention), descriptive set theory, effective descriptive set theory and the foundation of mathematical analysis
Vladimir Alfeevich Kuznetsov
INTUITIONISTIC SET THEORY
This website presents
25 years research in seven volumes of
Vladimir Alfeevich Kuznetsov
on intuitionistic set theory
Book title :
« Intuitionistic set theory »
25 years research in seven volumes of
Vladimir Alfeevich Kuznetsov
on intuitionistic set theory
Book title :
« Intuitionistic set theory »
The author worked on the creation of axiomatic system К of intuitionistic set theory 15 years (from 1997 to 2012).
The axiomatic system K of intuitionistic set theory, first presented by the author at the end of the first volume (p. 444), and given further at the beginning
of the second volume (p. 4 in Russian version and p.12 in English version), is the first axiomatic system of set theory in the history of mathematics, the axioms of which correspond to the principles of intuitionism.
of the second volume (p. 4 in Russian version and p.12 in English version), is the first axiomatic system of set theory in the history of mathematics, the axioms of which correspond to the principles of intuitionism.
In the second volume, on the basis of the axiomatic system К of intuitionistic set theory within the framework of intuitionistic logic, the author constructed a general intuitionistic set theory К , which became the basis for the research presented in the third, fourth, fifth, sixth and seventh volumes.
About the author
Vladimir Alfeevich Kuznetsov was born on April 15, 1961 in Kyiv.
In 1984 he graduated the Kyiv Polytechnic Institute.
From 1989 to 1999 he worked at the Institute of Mathematics of the Academy of Sciences of Ukraine.
In 1997, the monograph “Set Theory in the Boolean Valued Universe and Some of Its Applications” was published.
In 1997, research began on intuitionistic set theory.
From 1999 to the present, he has been continuing this research as a private individual.
In 1984 he graduated the Kyiv Polytechnic Institute.
From 1989 to 1999 he worked at the Institute of Mathematics of the Academy of Sciences of Ukraine.
In 1997, the monograph “Set Theory in the Boolean Valued Universe and Some of Its Applications” was published.
In 1997, research began on intuitionistic set theory.
From 1999 to the present, he has been continuing this research as a private individual.
Publication of the book
Vladimir Alfeevich Kuznetsov
« Intuitionistic set theory »
in electronic form
Vladimir Alfeevich Kuznetsov
« Intuitionistic set theory »
in electronic form
The book of
Vladimir Alfeevich Kuznetsov
« Intuitionistic set theory »
For faster and more comfortable viewing of the PDF files provided through these links, it is preferable to download these PDF files to your computer and then view them in PDF viewers.
Firefox browser is optimal for viewing this site
The first and fourth pages of the second to sixth volumes of the English translation of the book « Intuitionistic set theory »
Conclusion from the sixth volume of the book
« Intuitionistic set theory »
« Intuitionistic set theory »
Contact the author
e-mail : vladimir.kuznetsov61@yandex.com
Vladimir_Kuznetsov61@proton.me
e-mail : vladimir.kuznetsov61@yandex.com
Vladimir_Kuznetsov61@proton.me