{"product_id":"intuitionistic-set-theory-9781848901407","title":"Teoría de Conjuntos Intuicionista","description":"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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-5890623\"\u003eJohn L. Bell\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e College Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 28\/02\/2014\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 134\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.44 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.21 de alto x 6.14 de ancho x 0.29 de profundidad\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781848901407\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1848901402\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT018000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT028000\"\u003eTeoría de conjuntos\u003c\/a\u003e\u003cbr\u003e\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"College Publications","offers":[{"title":"Default Title","offer_id":44696587763949,"sku":"9781848901407","price":26.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_3826126b-da02-4b18-b89d-fef0b303fae9.jpg?v=1703802214","url":"https:\/\/sureshotbooks.com\/es\/products\/intuitionistic-set-theory-9781848901407","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}