BIBFRAME Work
Title
A Course on Basic Model Theory
Type
- Text
- Monograph
Contribution
- Sarbadhikari, Haimanti (author )
- Srivastava, S. M. (Shashi Mohan) (author )
Subject
- Logic, Symbolic and mathematical (LCSH)
- Geometry, Algebraic (LCSH)
- PBCD
- MAT018000 (BISACSH)
- M11019
- PBC
- M25001
- Number theory (LCSH)
- M24005
Language
Classification
- DDC: 511.3
- LCC: QA8.9-10.3 (Status: nuba, p)
Content
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.
Table of 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.
Authorized Access Point
Sarbadhikari, Haimanti. A Course on Basic Model Theory
Admin Metadata
- Date: 2026-09-11T20:11:48.564235+00:00
- Agent: cbc
- Status: c
- Derived from: 21682128
Admin Metadata
- Date: 2026-09-11
- Cataloger id: Unknown
- Description level: http://id.loc.gov/ontologies/bibframe-2-6-0/
- Description language: eng
- Description authentication: pcc
Alternative Formats
Blue Core Actions
- Load to Marva Marva loads Instances, not Works. Open one of this Work's Instances and load that into Marva instead.
- Load to Sinopia
- Export to Catalog Only Instances can be exported. Open one of this Work's Instances and export that instead.