El propósito de este libro es explicar las técnicas básicas para obtener pruebas de consistencia.Los requisitos para seguir este libro son un conocimiento básico de la lógica matemática (de primer orden), de la axiomática de la teoría de conjuntos, de la teoría de ordinales y cardinales y, en especial, de la exponenciación cardinal.
Teoría básica y aplicaciones
- Modelos de la teoría de conjuntos
- El axioma de regularidad
- Conjuntos constructibles
- Extensiones genéricas
- Cardinales en extensiones genéricas, entre otros.
- Cardinales medibles
- Cardinales débilmente compactos
- Constructibilidad relativa
- Indiscernibles de Silver, entre otros.
CONTRASEÑA: Visual.SaC
No hay comentarios:
Publicar un comentario