| Record ID | marc_columbia/Columbia-extract-20221130-013.mrc:340972142:1986 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-013.mrc:340972142:1986?format=raw |
LEADER: 01986pam a22003374a 4500
001 6466441
005 20221122033425.0
008 080226t20002000nyu b 001 0 eng
010 $a 99053572
020 $a0387986553 (acid-free paper)
035 $a(OCoLC)ocm42772184
035 $a(NNC)6466441
035 $a6466441
040 $aDLC$cDLC$dDLC$dOrLoB-B
041 1 $aeng$hfre
042 $apcc
050 00 $aQA9.7$b.P65 2000
082 00 $a511/.8$221
100 1 $aPoizat, Bruno.$0http://id.loc.gov/authorities/names/n96096413
240 10 $aCours de théorie des modèles.$lEnglish$0http://id.loc.gov/authorities/names/n99255186
245 12 $aA course in model theory :$ban introduction to contemporary mathematical logic /$cBruno Poizat ; translated by Moses Klein.
260 $aNew York :$bSpringer,$c[2000], ©2000.
300 $axxxi, 443 pages ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aUniversitext
504 $aIncludes bibliographical references (p. [419]-427) and indexes.
505 00 $g1.$tElementary Classes of Relations -- $g2.$tThe Language Associated with a Relation -- $g3.$tExtensions of the Language: Structures -- $g4.$tCompactness -- $g5.$tThe Back-and-Forth Method in [omega]-Saturated Models -- $g6.$tExamples Illustrating the Back-and-Forth Method -- $g7.$tArithmetic -- $g8.$tOrdinals and Cardinals -- $g9.$tSaturated Models -- $g10.$tPrime Models -- $g11.$tHeirs -- $g12.$tSpecial Sons, Morley Sequences -- $g13.$tThe Fundamental Order -- $g14.$tStability and Saturated Models -- $g15.$tForking -- $g16.$tStrong Types -- $g17.$tNotions of Rank -- $g18.$tStability and Prime Models -- $g19.$tStability, Indiscernible Sequences and Weights -- $g20.$tDimension in Models of a Totally Transcendental Theory.
650 0 $aModel theory.$0http://id.loc.gov/authorities/subjects/sh85086421
830 0 $aUniversitext.$0http://id.loc.gov/authorities/names/n42025686
852 00 $bmat$hQA9.7$i.P65 2000