Prueba de Consistencia

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.
    DATOS TÉCNICOS:
    Formato: .PDF
    Compresión: .RAR
    Hospedaje: RapidShare, DepositFiles y Ziddu
    Peso: 5.07 MB
    Idioma: Español

Sin comentarios.

Deja tu Comentario