Categorie, universi e principi di riflessione

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