.

0 (hodnocen0 x )

BK

Vyd. 1.

Praha : Karolinum, 2005

203 s. : il. ; 23 cm

ISBN 80-246-1160-0 (brož.)

Vydavatel: Univerzita Karlova v Praze

Obsahuje rejstříky

Bibliografie na s. 195-196

Teorie množin - učebnice vysokošk.

000059416

Předmluva 7 // §1 Axiomatické systémy 11 // §2 KM je ostře silnejší než ZF 27 // §3 G B je konečné axiomatizovatelná 49 // §4 G B je ekvikonzistentní s ZF 55 // §5 Absolutnost v interpretaci 58 // §6 Bezespornost axiomu fundovanosti 68 // §7 Nezávislost axiomu fundovanosti, teorie množin s individui --- 77 // §8 Fraenkel-Mostowského permutační modely 91 // §9 ZF a ZFpi„ nejsou konečné axiomatizovatelné 105 // §10 Gödelovy konstruovatelné množiny 115 // §11 Booleovské modely (cohenovská generická rozšíření) 128 // §12 Aplikace Booleovských modelů 152 // §13 Booleovské a permutační modely 171 // Dodatek 183 // Literatura 195 // Jmenný rejstřík 197 // Věcný rejstřík 198 // Rejstřík symbolů 201 // Značení 203

(OCoLC)85545471

cnb001647058