PRIZES to win! PROMOTIONS

Close Notification

Your cart does not contain any items

Intuitionistic Set Theory by John L Bell (Professor of Philosophy University of Western Ontario) at Abbey's Bookshop,
Intuitionistic Set Theory
— —
John L Bell (Professor of Philosophy University of Western Ontario)

Intuitionistic Set Theory

John L Bell (Professor of Philosophy University of Western Ontario)

$30.95   $27.86

Paperback

Not in-store but you can order this
How long will it take?
English
College Publications
28 February 2014
Mathematical logic; Set theory
Series: Studies in Logic
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.
By:  
Imprint:   College Publications
Dimensions:   Height: 234mm,  Width: 156mm,  Spine: 7mm
Weight:   200g
ISBN:   9781848901407
ISBN 10:   1848901402
Series:   Studies in Logic
Pages:   134
Publication Date:  
Audience:   General/trade ,  ELT Advanced
Format:   Paperback
Publisher's Status:   Active

See Also

Intuitionistic Set Theory

Finitely Supported Mathematics

An Introduction

Andrei Alexandru

Hardback

$126.95  $101.37

Not in-store but you can order this

ADD +
Intuitionistic Set Theory

Unified Logic

How to Divide by Zero, Solve the...

Jesse Bollinger

Hardback

$100.95  $80.63

Not in-store but you can order this

ADD +
Intuitionistic Set Theory

The Logic of Infinity

Barnaby Sheppard

Hardback

$455.95  $364.67

Not in-store but you can order this

ADD +
Intuitionistic Set Theory

Set Theory And Foundations Of Mathematics...

An Introduction To Mathematical...

Douglas Cenzer (Univ Of Florida,...

Hardback

$166.95  $133.82

Not in-store but you can order this

ADD +
Intuitionistic Set Theory

Min lilla stora mattebok

Lars Rönnbäck

Hardback

$44.95  $38.03

Not in-store but you can order this

ADD +
Intuitionistic Set Theory

Data Structure Synthesis

Boosting Productivity Through Data...

Doug Needham

Paperback

$83.95  $71.39

Not in-store but you can order this

ADD +