John L. Bell: Intuitionistic Set Theory - Anja's

Cover: 9781848901407 | Intuitionistic Set Theory | John L. Bell | Taschenbuch | Paperback

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

21,60 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

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.

Details

Erscheinungsjahr:	2014
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9781848901407
ISBN-10:	1848901402
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Bell, John L.
Hersteller:	College Publications
Maße:	234 x 156 x 8 mm
Von/Mit:	John L. Bell
Erscheinungsdatum:	28.02.2014
Gewicht:	0,216 kg

Artikel-ID: 105427270

Details

Erscheinungsjahr:	2014
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9781848901407
ISBN-10:	1848901402
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Bell, John L.
Hersteller:	College Publications
Maße:	234 x 156 x 8 mm
Von/Mit:	John L. Bell
Erscheinungsdatum:	28.02.2014
Gewicht:	0,216 kg

Artikel-ID: 105427270

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9783127424386 | Schnittpunkt Mathematik - Differenzierende Ausgabe für...

Schnittpunkt Mathematik - Differenzierende Ausgabe für Nordrhein-Westfalen. Arbeitsheft mit Lösungsheft Mittleres...

EAN: 9783127424386

Sprache: Deutsch

Von/Mit: Ilona/Bigalsky, Volker/Blinn, Oliver u a Bernhard

Maße: 297 x 213 x 9 mm

11,95 €*

Lieferzeit 1-2 Werktage

Broschüre

Cover: 9783425135724 | Flex und Flo 4. Themenheft Multiplizieren und Dividieren: Für die...

Flex und Flo 4. Themenheft Multiplizieren und Dividieren: Für die Ausleihe

EAN: 9783425135724

Sprache: Deutsch

Von/Mit: Judith Beerbaum

Maße: 289 x 204 x 5 mm

10,50 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783761427293 | Dino T. Saurus' Mathe-Flyer zum Üben und Wiederholen 1 | Klöckner

Dino T. Saurus' Mathe-Flyer zum Üben und Wiederholen 1

EAN: 9783761427293

Sprache: Deutsch

Von/Mit: Ulrike Klöckner

Maße: 297 x 210 x 20 mm

22,80 €*

Lieferzeit 1-2 Werktage

Broschüre

Cover: 9783507849709 | Sekundo 5. Fördermaterial. Mathematik für differenzierende Schulformen

Sekundo 5. Fördermaterial. Mathematik für differenzierende Schulformen

EAN: 9783507849709

Sprache: Deutsch

Von/Mit: Martina Lenze

Maße: 295 x 208 x 8 mm

10,50 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9780198755234 | Infinity: A Very Short Introduction | Ian Stewart | Taschenbuch | 2017

A Very Short Introduction

EAN: 9780198755234

Sprache: Englisch

Von/Mit: Ian Stewart

14,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783658209643 | Statistik im Bachelor-Studium | Uwe Hassler | Taschenbuch | 2018

Statistik im Bachelor-Studium

Eine Einführung für Wirtschaftswissenschaftler

EAN: 9783658209643

Sprache: Deutsch

Von/Mit: Uwe Hassler

29,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9780691182858 | The Calculus Gallery | Masterpieces from Newton to Lebesgue | Dunham

The Calculus Gallery

Masterpieces from Newton to Lebesgue

EAN: 9780691182858

Sprache: Englisch

Von/Mit: William Dunham

21,65 €*

Lieferzeit 1-2 Werktage

Broschüre

Cover: 9783141245172 | Sekundo 8. Arbeitsheft mit Lösungen. Mathematik für...

Sekundo 8. Arbeitsheft mit Lösungen. Mathematik für differenzierende Schulformen. Nordrhein-Westfalen

EAN: 9783141245172

Sprache: Deutsch

Von/Mit: Tim Baumert

Maße: 302 x 208 x 8 mm

10,25 €*

Lieferzeit 1-2 Werktage

Broschüre

Cover: 9783060846580 | Einstern Mathematik 01 Leicht gemacht. Themenhefte 1-4....

Einstern Mathematik 01 Leicht gemacht. Themenhefte 1-4. Diagnoseheft und Kartonbeilagen im Pake

Verbrauchsmaterial

EAN: 9783060846580

Sprache: Deutsch

Maße: 299 x 210 x 32 mm

Genre: Schule und Lernen

23,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9783060846757 | Fredo Mathematik 1. Schuljahr. Ausgabe A - Schülerbuch | Margot Torke

Fredo Mathematik 1. Schuljahr. Ausgabe A - Schülerbuch

Mit "Das kann ich jetzt!"-Heft und Kartonbeilagen

EAN: 9783060846757

Sprache: Deutsch

Von/Mit: Margot Torke

Maße: 289 x 205 x 10 mm

21,25 €*

Lieferzeit 1-2 Werktage

Buch

Cover: 9783060406890 | Fundamente der Mathematik 12. Schuljahr. Leistungskurs - Schülerbuch

Fundamente der Mathematik 12. Schuljahr. Leistungskurs - Schülerbuch

EAN: 9783060406890

Sprache: Deutsch

Maße: 263 x 191 x 17 mm

33,75 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9780262730877 | Reflections on Kurt Gödel | Hao Wang | Taschenbuch | Paperback | 1990

Reflections on Kurt Gödel

EAN: 9780262730877

Sprache: Englisch

Von/Mit: Hao Wang

61,95 €*

Lieferzeit 1-2 Wochen