02970nam 22005535 450 991025429960332120200703055524.0981-10-5098-810.1007/978-981-10-5098-5(CKB)4100000000586911(DE-He213)978-981-10-5098-5(MiAaPQ)EBC5592557(PPN)204531934(EXLCZ)99410000000058691120170906d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierA Course on Basic Model Theory /by Haimanti Sarbadhikari, Shashi Mohan Srivastava1st ed. 2017.Singapore :Springer Singapore :Imprint: Springer,2017.1 online resource (XIX, 291 p.) 981-10-5097-X 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.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.Logic, Symbolic and mathematicalGeometry, AlgebraicNumber theoryMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Algebraic Geometryhttps://scigraph.springernature.com/ontologies/product-market-codes/M11019Number Theoryhttps://scigraph.springernature.com/ontologies/product-market-codes/M25001Logic, Symbolic and mathematical.Geometry, Algebraic.Number theory.Mathematical Logic and Foundations.Algebraic Geometry.Number Theory.511.3Sarbadhikari Haimantiauthttp://id.loc.gov/vocabulary/relators/aut766796Srivastava Shashi Mohanauthttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910254299603321A Course on Basic Model Theory2028765UNINA