Username: Password:  Do not remember me

Categories




Books / EbooksIntuitionistic Set Theory (Studies in Logic)



Intuitionistic Set Theory (Studies in Logic)

Intuitionistic Set Theory (Studies in Logic) By John L. Bell
2014 | 132 Pages | ISBN: 1848901402 | PDF | 10 MB


While

intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject has yet been published. This may be the case in part because, as a form of higher-order intuitionistic logic - the internal logic of a topos - IST has been chiefly developed in a tops-theoretic context. In particular, proofs of relative consistency with IST for mathematical assertions have been (implicitly) formulated in topos- or sheaf-theoretic terms, rather than in the framework of Heyting-algebra-valued models, the natural extension to IST of the well-known Boolean-valued models for classical set theory. In this book I offer a brief but systematic introduction to IST which develops the subject up to and including the use of Heyting-algebra-valued models in relative consistency proofs. I believe that IST, presented as it is in the familiar language of set theory, will appeal particularly to those logicians, mathematicians and philosophers who are unacquainted with the methods of topos theory.
Download:



Related News

Dear visitor, you went to the site as unregistered user. Only registered and authorized users can leave comments. Please log in or Register, if not registered.

Comments (0)

Intuitionistic, Set, Theory, Studies, Logic

Search



Updates


«    January 2017    »
MonTueWedThuFriSatSun
 1
2345678
9101112131415
16171819202122
23242526272829
3031 


Partner



Your Link Here ?
(Pagerank 4 or above)