TÃtulo : |
A Course on Basic Model Theory |
Tipo de documento: |
documento electrónico |
Autores: |
Sarbadhikari, Haimanti, ; Srivastava, Shashi Mohan, |
Mención de edición: |
1 ed. |
Editorial: |
Singapore [Malasya] : Springer |
Fecha de publicación: |
2017 |
Número de páginas: |
XIX, 291 p. |
ISBN/ISSN/DL: |
978-981-10-5098-5 |
Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
Idioma : |
Inglés (eng) |
Palabras clave: |
Lógica matemática geometrÃa algebraica TeorÃa de los números Lógica Matemática y Fundamentos |
Clasificación: |
511.3 |
Resumen: |
Este libro autónomo es una exposición de las ideas fundamentales de la teorÃa de modelos. Presenta los conocimientos necesarios sobre lógica, teorÃa de conjuntos y otros temas de matemáticas. Sólo se requiere cierto grado de madurez matemática y voluntad de asimilar ideas de diversas áreas. El libro se puede utilizar tanto para la enseñanza como para el autoestudio, idealmente durante dos semestres. Está dirigido principalmente a estudiantes graduados en lógica matemática que quieran especializarse en teorÃa de modelos. Sin embargo, los dos primeros capÃtulos constituyen la primera introducción al tema y pueden cubrirse en un curso de un semestre para estudiantes universitarios de último año en lógica matemática. El libro también es adecuado para investigadores que deseen utilizar la teorÃa de modelos en su trabajo. |
Nota de contenido: |
Chapter 1. Basic Introductory Concepts -- Chapter 2. Basic Introductory Results -- Chapter 3. Spaces of Types -- Chapter 4. Good Structures and Good Theories -- Chapter 5. Morley Categoricity Theorem and Forking Independence -- Chapter 6. Model Theory of Valued Fields. |
Tipo de medio : |
Computadora |
Summary : |
This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. Only some degree of mathematical maturity and willingness to assimilate ideas from diverse areas are required. The book can be used for both teaching and self-study, ideally over two semesters. It is primarily aimed at graduate students in mathematical logic who want to specialise in model theory. However, the first two chapters constitute the first introduction to the subject and can be covered in one-semester course to senior undergraduate students in mathematical logic. The book is also suitable for researchers who wish to use model theory in their work. |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
A Course on Basic Model Theory [documento electrónico] / Sarbadhikari, Haimanti, ; Srivastava, Shashi Mohan, . - 1 ed. . - Singapore [Malasya] : Springer, 2017 . - XIX, 291 p. ISBN : 978-981-10-5098-5 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
Palabras clave: |
Lógica matemática geometrÃa algebraica TeorÃa de los números Lógica Matemática y Fundamentos |
Clasificación: |
511.3 |
Resumen: |
Este libro autónomo es una exposición de las ideas fundamentales de la teorÃa de modelos. Presenta los conocimientos necesarios sobre lógica, teorÃa de conjuntos y otros temas de matemáticas. Sólo se requiere cierto grado de madurez matemática y voluntad de asimilar ideas de diversas áreas. El libro se puede utilizar tanto para la enseñanza como para el autoestudio, idealmente durante dos semestres. Está dirigido principalmente a estudiantes graduados en lógica matemática que quieran especializarse en teorÃa de modelos. Sin embargo, los dos primeros capÃtulos constituyen la primera introducción al tema y pueden cubrirse en un curso de un semestre para estudiantes universitarios de último año en lógica matemática. El libro también es adecuado para investigadores que deseen utilizar la teorÃa de modelos en su trabajo. |
Nota de contenido: |
Chapter 1. Basic Introductory Concepts -- Chapter 2. Basic Introductory Results -- Chapter 3. Spaces of Types -- Chapter 4. Good Structures and Good Theories -- Chapter 5. Morley Categoricity Theorem and Forking Independence -- Chapter 6. Model Theory of Valued Fields. |
Tipo de medio : |
Computadora |
Summary : |
This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. Only some degree of mathematical maturity and willingness to assimilate ideas from diverse areas are required. The book can be used for both teaching and self-study, ideally over two semesters. It is primarily aimed at graduate students in mathematical logic who want to specialise in model theory. However, the first two chapters constitute the first introduction to the subject and can be covered in one-semester course to senior undergraduate students in mathematical logic. The book is also suitable for researchers who wish to use model theory in their work. |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |