1 option
A Course on Basic Model Theory / by Haimanti Sarbadhikari, Shashi Mohan Srivastava.
Springer Nature - Springer Mathematics and Statistics eBooks 2017 English International Available online
View online- Format:
- Book
- Author/Creator:
- Sarbadhikari, Haimanti., Author.
- Srivastava, Shashi Mohan., Author.
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Geometry, Algebraic.
- Number theory.
- Mathematical Logic and Foundations.
- Algebraic Geometry.
- Number Theory.
- Local Subjects:
- Mathematical Logic and Foundations.
- Algebraic Geometry.
- Number Theory.
- Physical Description:
- 1 online resource (XIX, 291 p.)
- Edition:
- 1st ed. 2017.
- Place of Publication:
- Singapore : Springer Singapore : Imprint: Springer, 2017.
- 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.
- Contents:
- 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.
- ISBN:
- 981-10-5098-8
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.