A shorter model theory (Record no. 13665)

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
Holdings
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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha