Ocena:
Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.
Intuitionistic Set Theory
Podczas gdy intuicjonistyczna (lub konstruktywna) teoria zbiorów IST cieszy się pewnym zainteresowaniem logików matematycznych, o ile mi wiadomo, nie ukazała się jeszcze żadna książka zawierająca systematyczne wprowadzenie do tego tematu.
Może tak być po części dlatego, że jako forma intuicjonistycznej logiki wyższego rzędu - wewnętrznej logiki toposu - IST była rozwijana głównie w kontekście teorii wierzchołków. W szczególności, dowody względnej spójności z IST dla twierdzeń matematycznych zostały (pośrednio) sformułowane w kategoriach toposu lub teorii snopów, a nie w ramach modeli wartościowanych algebr Heytinga, naturalnego rozszerzenia na IST dobrze znanych modeli wartościowanych Boole'a dla klasycznej teorii mnogości.
W tej książce oferuję krótkie, ale systematyczne wprowadzenie do IST, które rozwija temat aż do wykorzystania modeli Heytinga w dowodach względnej spójności. Wierzę, że IST, przedstawiona w znanym języku teorii mnogości, spodoba się szczególnie tym logikom, matematykom i filozofom, którzy nie są zaznajomieni z metodami teorii toposów.
