A shorter model theory (Record no. 13665)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02927cam a2200193 a 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 960913s1997 enka b 001 0 eng |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 0521587131 |
041 ## - LANGUAGE CODE | |
Language code of text/sound track or separate title | eng |
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
Universal Decimal Classification number | 510.6 |
Item number | HOD |
100 1# - MAIN ENTRY--AUTHOR NAME | |
Personal name | Hodges, Wilfrid |
245 12 - TITLE STATEMENT | |
Title | A shorter model theory |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | New York |
Name of publisher | Cambridge University Press |
Year of publication | 1997 |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | x, 310p. |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Includes bibliographical references and indexes |
505 ## - FORMATTED CONTENTS NOTE | |
Formatted contents note | Introduction vii (2)<br/>Note on notation ix <br/> 1 Naming of parts<br/> 1 (20)<br/> 1.1 Structures<br/> 2 (3)<br/> 1.2 Homomorphisms and substructures<br/> 5 (5)<br/> 1.3 Terms and atomic formulas<br/> 10 (5)<br/> 1.4 Parameters and diagrams<br/> 15 (2)<br/> 1.5 Canonical models<br/> 17 (3)<br/> Further reading<br/> 20 (1)<br/> 2 Classifying structures<br/> 21 (48)<br/> 2.1 Definable subsets<br/> 22 (8)<br/> 2.2 Definable classes of structures<br/> 30 (7)<br/> 2.3 Some notions from logic<br/> 37 (6)<br/> 2.4 Maps and the formulas they preserve<br/> 43 (5)<br/> 2.5 Classifying maps by formulas<br/> 48 (3)<br/> 2.6 Translations<br/> 51 (8)<br/> 2.7 Quantifier elimination<br/> 59 (9)<br/> Further reading<br/> 68 (1)<br/> 3 Structures that look alike<br/> 69 (24)<br/> 3.1 Theorems of Skolem<br/> 69 (4)<br/> 3.2 Back-and-forth equivalence<br/> 73 (9)<br/> 3.3 Games for elementary equivalence<br/> 82 (9)<br/> Further reading<br/> 91 (2)<br/> 4 Interpretations<br/> 93 (31)<br/> 4.1 Automorphisms<br/> 94 (7)<br/> 4.2 Relativisation<br/> 101 (6)<br/> 4.3 Interpreting one structure in another<br/> 107 (6)<br/> 4.4 Imaginary elements<br/> 113 (9)<br/> Further reading<br/> 122 (2)<br/> 5 The first-order case: compactness<br/> 124 (34)<br/> 5.1 Compactness for first-order logic<br/> 124 (6)<br/> 5.2 Types<br/> 130 (4)<br/> 5.3 Elementary amalgamation<br/> 134 (7)<br/> 5.4 Amalgamation and preservation<br/> 141 (6)<br/> 5.5 Expanding the language<br/> 147 (5)<br/> 5.6 Indiscernibles<br/> 152 (4)<br/> Further reading<br/> 156 (2)<br/> 6 The countable case<br/> 158 (24)<br/> 6.1 Fraisse's construction<br/> 158 (7)<br/> 6.2 Omitting types<br/> 165 (6)<br/> 6.3 Countable categoricity<br/> 171 (4)<br/> 6.4 w-categorical structures by Fraisse's method<br/> 175 (6)<br/> Further reading<br/> 181 (1)<br/> 7 The existential case<br/> 182 (28)<br/> 7.1 Existentially closed structures<br/> 183 (5)<br/> 7.2 Constructing e.c. structures<br/> 188 (7)<br/> 7.3 Model-completeness<br/> 195 (6)<br/> 7.4 Quantifier elimination revisited<br/> 201 (7)<br/> Further reading<br/> 208 (2)<br/> 8 Saturation<br/> 210 (40)<br/> 8.1 The great and the good<br/> 211 (9)<br/> 8.2 Big models exist<br/> 220 (5)<br/> 8.3 Syntactic characterisations<br/> 225 (8)<br/> 8.4 One-cardinal and two-cardinal theorems<br/> 233 (4)<br/> 8.5 Ultraproducts and ultrapowers<br/> 237 (11)<br/> Further reading<br/> 248 (2)<br/> 9 Structure and categoricity<br/> 250 (48)<br/> 9.1 Ehrenfeucht-Mostowski models<br/> 251 (6)<br/> 9.2 Minimal sets<br/> 257 (7)<br/> 9.3 Totally transcendental structures<br/> 264 (9)<br/> 9.4 Stability<br/> 273 (13)<br/> 9.5 Morley's theorem<br/> 286 (10)<br/> Further reading<br/> 296 (2)<br/>Index to symbols 298 (2)<br/>Index 300 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Model theory |
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
Topical term or geographic name as entry element | Mathematics |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | BOOKS |
Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Full call number | Accession Number | Koha item type |
---|---|---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | First Floor, Rack No: 28, Shelf No: 4 | 510.6 HOD | 35445 | BOOKS |