Categorie, universi e principi di riflessione

Description

Gabriele Lolli, Categorie, universi e princìpi di riflessione......Page 1 Colophon......Page 6 Indice......Page 7 Prefazione......Page 9 Capitolo 1. Teorie degli insiemi e delle classi......Page 13 La teoria di Zermelo-Fraenkel......Page 14 La teoria di Gödel-Bemays......Page 20 La teoria di Morse-Mostowski......Page 23 Modelli delle teorie degli insiemi......Page 24 Costruzioni categoriali e assioma di scelta......Page 33 Categorie localmente piccole......Page 36 Adeguatezza e chiusura......Page 39 Universi......Page 43 Il principio di riflessione locale per ZF......Page 47 Grandi cardinali e proprietà di Mahlo......Page 53 Princìpi di riflessione globale......Page 56 Riflessione e categorie......Page 62 Capitolo 4. La teoria di Morse-Mostowski......Page 65 La formula di soddisfazione......Page 66 Sottostrutture elementari di V......Page 75 La proprietà di Mahlo in M......Page 82 Bibliografia......Page 89 Indice analitico......Page 93