jmm00044
16 noviembre 2011, 17:30
Prueba de Consistencia - Carlos Ivorra Castillo
http://i1127.photobucket.com/albums/l625/jmm00044/Otro/Pruebas2Bde2BConsistencia.png
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 Grandes
* Cardinales medibles
* Cardinales débilmente compactos
* Constructibilidad relativa
* Indiscernibles de Silver, entre otros.
pdf 519 paginas 3,3 mbs
***Contenido oculto. Abra la versión completa del tema para visualizar los enlaces.***
http://i1127.photobucket.com/albums/l625/jmm00044/Otro/Pruebas2Bde2BConsistencia.png
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 Grandes
* Cardinales medibles
* Cardinales débilmente compactos
* Constructibilidad relativa
* Indiscernibles de Silver, entre otros.
pdf 519 paginas 3,3 mbs
***Contenido oculto. Abra la versión completa del tema para visualizar los enlaces.***