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 ...
Read More
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.
Read Less
Add this copy of Intuitionistic Set Theory to cart. $16.74, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2014 by College Publications.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 134 p. Contains: Illustrations, black & white. Studies in Logic. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Intuitionistic Set Theory to cart. $16.75, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2014 by College Publications.
Add this copy of Intuitionistic Set Theory (Paperback Or Softback) to cart. $21.33, new condition, Sold by BargainBookStores rated 4.0 out of 5 stars, ships from Grand Rapids, MI, UNITED STATES, published 2014 by College Publications.
Add this copy of Intuitionistic Set Theory to cart. $25.56, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2014 by College Publications.
Add this copy of Intuitionistic Set Theory to cart. $31.14, new condition, Sold by Booksplease rated 3.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 2014 by College Publications.
