Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Intuitionistic Set Theory

John L Bell

Language

English

Book Paperback

Libristo code: 08853916

Publishers College Publications, February 2014

While intuitionistic (or constructive) set theory IST has received a certain attention from mathemat... Full description

Libristo code: 08853916

52 b

7 763 Ft

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Model Theory Chen Chung Chang

Paperback

10 683 Ft

Invitation to Model Theory Jonathan (University of East Anglia) Kirby

Paperback

14 142 Ft

Kolik váží Matylda Jiří Holub

Hardback

3 189 Ft

Mademoiselle Lenormand Gabriel Sanchez

Cards

12 016 Ft

Az edzés anatómiai kézikönyve Ashwell

Hardback

6 166 Ft

Zwierzęta polski naklejki edukacyjne Opracowanie Zbiorowe

Paperback

808 Ft

Matematika 8 s nadhledem pracovní sešit Pavel Tlustý

Paperback

2 396 Ft

Finanční gramotnost pro první stupeň základní školy Petr Jakeš

Paperback

1 767 Ft

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.