Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Intuitionistic Set Theory
Obwohl die intuitionistische (oder konstruktive) Mengenlehre IST eine gewisse Aufmerksamkeit von Seiten der mathematischen Logiker erfahren hat, ist meines Wissens noch kein Buch erschienen, das eine systematische Einführung in dieses Thema bietet.
Dies mag zum Teil daran liegen, dass die IST als eine Form der intuitionistischen Logik höherer Ordnung - der internen Logik eines Topos - hauptsächlich in einem topustheoretischen Kontext entwickelt wurde. Insbesondere wurden Beweise für die relative Konsistenz mathematischer Aussagen mit der IST (implizit) in topos- oder gabelungstheoretischen Begriffen formuliert und nicht im Rahmen von Heyting-Algebra-bewerteten Modellen, der natürlichen Erweiterung der bekannten Booleschen-bewerteten Modelle für die klassische Mengenlehre auf die IST.
In diesem Buch biete ich eine kurze, aber systematische Einführung in die IST, die das Thema bis hin zur Verwendung von Heyting-Algebra-bewerteten Modellen in relativen Konsistenzbeweisen entwickelt. Ich glaube, dass die IST, die in der vertrauten Sprache der Mengenlehre präsentiert wird, besonders diejenigen Logiker, Mathematiker und Philosophen ansprechen wird, die mit den Methoden der Topostheorie nicht vertraut sind.
| ISBN: | 9781848901407 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
