Warehouse Stock Clearance Sale

Grab a bargain today!


Sign Up for Fishpond's Best Deals Delivered to You Every Day
Go
Intuitionistic Set Theory
Studies in Logic
By John L (Professor of Philosophy University of Western Ontario)

Rating
Format
Paperback, 134 pages
Published
United States, 28 February 2014

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.

Show more

Our Price
$41.88
Ships from UK Estimated delivery date: 14th Apr - 21st Apr from UK
Free Shipping Worldwide

Buy Together
+
Buy Together
$169.88

Product Description

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.

Show more
Product Details
EAN
9781848901407
ISBN
1848901402
Writer
Other Information
Illustrations, black and white
Dimensions
15.5 x 0.8 x 23.4 centimeters (0.24 kg)
Review this Product
Ask a Question About this Product More...
 
Look for similar items by category
Home » Books » Science » Mathematics » Logic
Item ships from and is sold by Fishpond World Ltd.

Back to top