Intuitív halmazelmélet

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Intuitionistic Set Theory

Könyv tartalma:

Bár az intuicionista (vagy konstruktív) halmazelmélet IST bizonyos figyelmet kapott a matematikai logikusoktól, tudomásom szerint még nem jelent meg olyan könyv, amely szisztematikus bevezetést nyújtana a témába.

Ez részben talán azért van így, mert az IST-t mint a magasabb rendű intuicionista logika egy formáját - egy toposz belső logikáját - elsősorban csúcselméleti kontextusban fejlesztették ki. Különösen a matematikai állítások IST-vel való relatív konzisztenciájának bizonyítását (implicit módon) toposz- vagy nyírségelméleti terminusokban fogalmazták meg, nem pedig a Heyting-algebra-értékes modellek keretében, ami a klasszikus halmazelmélet jól ismert Boole-értékes modelljeinek természetes kiterjesztése az IST-re.

Ebben a könyvben rövid, de szisztematikus bevezetést nyújtok az IST-be, amely a témát egészen a Heyting-algebra-értékű modellek relatív konzisztencia-bizonyításokban való alkalmazásáig fejleszti. Úgy vélem, hogy az IST, mivel a halmazelmélet megszokott nyelvén kerül bemutatásra, különösen azoknak a logikusoknak, matematikusoknak és filozófusoknak fog tetszeni, akik nem ismerik a toposzelmélet módszereit.