Nakladateství Karolinum

© Nakladatelství
KAROLINUM 2013

RSS RSS   facebook


visa visa
maestro maestro

webmaster

VŠECHNY ZDE NABÍZENÉ PUBLIKACE MÁME SKLADEM

košík

VÁŠ NÁKUP


0 POLOŽEK
CENA: 0 VČETNĚ DPH



DETAIL TITULU:

Metamatematika teorií množin

Sochor Antonín

Karolinum 2006

brožovaná, 204 str.
ISBN 8024611600

obálka
-20% 270,-
216,-
SKLADEM

Kniha je věnována metamatematickému studiu důležitých axiomatických systémů teorie množin, zejména otázkám relativní bezespornosti, srovnání co do deduktivní síly, modelů apod. Jde především o Zermelo-Fraenkelovu teorii množin, teorii Godel-Bernaysovu a Kelley-Morseovu. Studuje se mj. bezespornost a nezávislost axiomů jako je axiom fundovanosti, axiom výběru, hypotéza kontinua apod. Kniha shrnuje a vykládá výsledky zhruba z třicátých až šedesátých let minulého století, mezi nimi řadu.výsledků pražské (Vopěnkovy) školy teorie množin. Je rozdělena do třinácti kapitol.
Od čtenáře se očekává znalost základů matematické logiky (které lze studovat v češtině buď ze Sochorovy nebo Švejdarovy knihy o matematické logice) a také znalost základů axiomatické teorie množin (např. vlastnosti ordinálních čísel apod.), které lze v češtině získat z monografie Balcara a Štěpánka o teorii množin (v níž se též vykládají některá metamatematická fakta z těch, jimž se věnuje Sochor v recenzované knize). Jako celek jev české literatuře Sochorova kniha novinkou a poslouží studentům logiky na matematicko-fyzikální i filosofické fakultě; tam autor konal z tématiky své knihy přednášky.
Volba tématiky je logická a vhodná, text .splňuje požadavky na rigorosní matematický výklad.

Z recenzního posudku: Prof. RNDr Petr Hájek, DrSc.