Teoría de Conjuntos Intuicionista

Si bien la teoría de conjuntos intuicionista (o constructiva) IST ha recibido cierta atención por parte de los lógicos matemáticos, hasta donde sé, aún no se ha publicado ningún libro que proporcione una introducción sistemática al tema. Esto puede deberse en parte a que, como forma de lógica intuicionista de orden superior (la lógica interna de un topos), la IST se ha desarrollado principalmente en un contexto topológico. En particular, las pruebas de consistencia relativa con IST para aserciones matemáticas se han formulado (implícitamente) en términos topológicos o de haces, en lugar de en el marco de modelos valorados en álgebra de Heyting, la extensión natural a IST de los conocidos modelos valorados en Boole para la teoría clásica de conjuntos. En este libro ofrezco una introducción breve pero sistemática a IST que desarrolla el tema hasta e incluyendo el uso de modelos valorados en álgebra de Heyting en pruebas de consistencia relativa. Creo que IST, presentado como está en el lenguaje familiar de la teoría de conjuntos, atraerá particularmente a aquellos lógicos, matemáticos y filósofos que no están familiarizados con los métodos de la teoría de topos.

Autor: John L. Bell
Editorial: College Publications
Publicado: 28/02/2014
Páginas: 134
Tipo de encuadernación: Tapa blanda
Peso: 0.44 libras
Tamaño: 9.21 de alto x 6.14 de ancho x 0.29 de profundidad
ISBN13: 9781848901407
ISBN10: 1848901402
Categorías BISAC:
- Matemáticas | Lógica
- Matemáticas | Teoría de conjuntos

Este título no es retornable