{"product_id":"model-theory-9780486488219","title":"Teoría de Modelos","description":"La teoría de modelos trata una rama de la lógica matemática que muestra conexiones entre un lenguaje formal y sus interpretaciones o modelos. Este es el primer y más exitoso libro de texto en teoría de modelos lógica. Extensamente actualizado y corregido en 1990 para adaptarse a los desarrollos en los métodos de la teoría de modelos, incluyendo la teoría de clasificación y el análisis no estándar, la tercera edición añadió secciones, ejercicios y referencias completamente nuevas. \u003cbr\u003eCada capítulo introduce un método individual y discute aplicaciones específicas. Los métodos básicos para construir modelos incluyen constantes, cadenas elementales, funciones de Skolem, indiscernibles, ultraproductos y modelos especiales. Los capítulos finales presentan temas más avanzados que combinan varios métodos. Este tratamiento clásico cubre la mayoría de los aspectos de la teoría de modelos de primer orden y muchas de sus aplicaciones al álgebra y la teoría de conjuntos.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-3680225\"\u003eC. C. Chang\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-854603\"\u003eH. Jerome Keisler\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Dover Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 13\/06\/2012\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 650\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.90lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.10h x 6.10w x 1.40d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780486488219\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0486488217\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\u003cbr\u003e\u003cp\u003e\u003cb\u003eSobre el autor\u003c\/b\u003e\u003cbr\u003eH. Jerome Keisler fue profesor durante mucho tiempo en la Universidad de Wisconsin, Madison, cuya investigación incluyó la teoría de modelos y el análisis no estándar. Es conocido por extender la construcción de Henkin a lo que ahora se llama modelos de Henkin-Keisler. \u003cbr\u003eC. C. Chang, profesor emérito de matemáticas en la UCLA, también se centró en la teoría de modelos y demostró el teorema de la partición ordinal. La conjetura de Chang lleva su nombre, al igual que el forzamiento ccc.\u003c\/p\u003e\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Dover Publications","offers":[{"title":"Default Title","offer_id":42675257737453,"sku":"9780486488219","price":34.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_6e4ce6ca-d059-49f2-ac70-95085aa528d5.jpg?v=1649600777","url":"https:\/\/sureshotbooks.com\/es\/products\/model-theory-9780486488219","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}