Vai al contenuto principale della pagina

A Course on Basic Model Theory / / by Haimanti Sarbadhikari, Shashi Mohan Srivastava



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Sarbadhikari Haimanti Visualizza persona
Titolo: A Course on Basic Model Theory / / by Haimanti Sarbadhikari, Shashi Mohan Srivastava Visualizza cluster
Pubblicazione: Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017
Edizione: 1st ed. 2017.
Descrizione fisica: 1 online resource (XIX, 291 p.)
Disciplina: 511.3
Soggetto topico: Logic, Symbolic and mathematical
Geometry, Algebraic
Number theory
Mathematical Logic and Foundations
Algebraic Geometry
Number Theory
Persona (resp. second.): SrivastavaShashi Mohan
Nota di contenuto: 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.
Sommario/riassunto: 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.
Titolo autorizzato: A Course on Basic Model Theory  Visualizza cluster
ISBN: 981-10-5098-8
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910254299603321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui