Staff View for: A Course in Model Theory : an Introducti

 Staff view

You must be logged in to Tag Records

A Course in Model Theory [electronic resource] : an Introduction to Contemporary Mathematical Logic /

by Bruno Poizat.

Book Cover
Main Author: Poizat, Bruno.
Published: New York, NY : Springer New York, 2000.
Series: Universitext.
Topics: Mathematics. | Logic, Symbolic and mathematical.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


000 03063cam a2200493Mi 4500
001 15529460
005 20150903020640.0
006 m o d
007 cr un|||||||||
008 121227s2000 nyu o 000 0 eng
020 |a9781441986221|qelectronic bk.
020 |a1441986227|qelectronic bk.
020 |z9781461264460
020 |z1461264464
020 |z1441986227
024 7 |a10.1007/978-1-4419-8622-1|2doi
035 |a(OCoLC)ocn853262954
035 |a(UIUdb)7848343
040 |aAU@|beng|cAU@|dOCLCO|dGW5XE|dOCLCQ|dOCLCF|dUA@|dCOO|dUIUdb
049 |aUIUU|oskip
050 4|aQA8.9-10.3
082 04|a511.3|223
100 1 |aPoizat, Bruno.
245 12|aA Course in Model Theory|h[electronic resource] :|ban Introduction to Contemporary Mathematical Logic /|cby Bruno Poizat.
260 |aNew York, NY :|bSpringer New York,|c2000.
300 |a1 online resource (xxxi, 443 pages).
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
490 1 |aUniversitext,|x0172-5939
505 0 |a1 Elementary Classes of Relations -- The Language Associated with a Relation -- 3 Extensions of the Language: Structures -- 4 Compactness -- 5 The Back-and-Forth Method in ?-Saturated Models -- 6 Examples Illustrating the Back-and-Forth Method -- 7 Arithmetic -- 8 Ordinals and Cardinals -- 9 Saturated Models -- 10 Prime Models -- 11 Heirs -- 12 Special Sons, Morley Sequences -- 13 The Fundamental Order -- 14 Stability and Saturated Models -- 15 Forking -- 16 Strong Types -- 17 Notions of Rank -- 18 Stability and Prime Models -- 19 Stability, Indiscernible Sequences and Weights -- 20 Dimension in Models of a Totally Transcendental Theory -- Index of Notation.
520 |aThis book, translated from the French, is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter introduces logic via the study of the models of arithmetic, and the following is a combinatorial tool-box preparing for the chapters on saturated and prime models. The last ten chapters form a rather complete but nevertheless accessible exposition of stability theory, which is the core of the subject.
650 0|aMathematics.
650 0|aLogic, Symbolic and mathematical.
650 7|aLogic, Symbolic and mathematical.|2fast|0(OCoLC)fst01002068
650 7|aMathematics.|2fast|0(OCoLC)fst01012163
655 4|aElectronic books.
710 2 |aSpringerLink (Online service)
776 08|iPrint version:|z9781461264460
791 2 |aSpringerLink (Online service)
830 0|aUniversitext.
852 8 |beresour-nc|hOnline Resource|t1|zAccessible anywhere on campus or with UIUC NetID
856 40|3SpringerLink - Full text online|uhttp://www.library.illinois.edu/proxy/go.php?url=http://dx.doi.org/10.1007/978-1-4419-8622-1|xUIU
994 |aC0|bUIU

Staff View for: A Course in Model Theory : an Introducti