Cargando…
Model theory /
This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpre...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge [England] ; New York :
Cambridge University Press,
1993.
|
| Colección: | Encyclopedia of mathematics and its applications ;
v. 42. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn861692081 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 131029s1993 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d OL$ |d E7B |d CAMBR |d DEBSZ |d YDXCP |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d UAB |d OCLCQ |d VTS |d STF |d REC |d OCLCO |d AU@ |d OCLCO |d M8D |d OCLCQ |d OCLCO |d INARC |d SFB |d OCLCO |d QGK |d OCLCQ |d OCLCO |d TXE |d OCLCQ | ||
| 019 | |a 715181761 |a 845021286 |a 1150829116 |a 1259100315 | ||
| 020 | |a 9781107087590 |q (electronic bk.) | ||
| 020 | |a 1107087597 |q (electronic bk.) | ||
| 020 | |a 0511551576 |q (electronic book) | ||
| 020 | |a 9780511551574 |q (electronic book) | ||
| 020 | |a 1139881671 | ||
| 020 | |a 9781139881678 | ||
| 020 | |a 1107102383 | ||
| 020 | |a 9781107102385 | ||
| 020 | |a 1107093848 | ||
| 020 | |a 9781107093843 | ||
| 020 | |z 0521304423 | ||
| 020 | |z 9780521304429 | ||
| 020 | |z 9780521066365 | ||
| 020 | |z 0521066360 | ||
| 029 | 1 | |a DEBBG |b BV043034691 | |
| 029 | 1 | |a DEBSZ |b 421261765 | |
| 029 | 1 | |a GBVCP |b 805074759 | |
| 035 | |a (OCoLC)861692081 |z (OCoLC)715181761 |z (OCoLC)845021286 |z (OCoLC)1150829116 |z (OCoLC)1259100315 | ||
| 050 | 4 | |a QA9.7 |b .H64 1993eb | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 084 | |a 31.80 |2 bcl | ||
| 084 | |a 31.10 |2 bcl | ||
| 084 | |a 31.11 |2 bcl | ||
| 084 | |a *03Cxx |2 msc | ||
| 084 | |a 03-01 |2 msc | ||
| 084 | |a 03-02 |2 msc | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Hodges, Wilfrid. | |
| 245 | 1 | 0 | |a Model theory / |c Wilfrid Hodges. |
| 264 | 1 | |a Cambridge [England] ; |a New York : |b Cambridge University Press, |c 1993. | |
| 300 | |a 1 online resource (xiii, 772 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Encyclopedia of mathematics and its applications ; |v volume 42 | |
| 504 | |a Includes bibliographical references (pages 716-754) and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference. | ||
| 505 | 0 | |a Cover; Half-title; Encyclopedia of mathematics and its applications; Title; Copyright; Contents; Introduction; Note on notation; 1 Naming of parts; 1.1 Structures; 1.2 Homomorphisms and substructures; 1.3 Terms and atomic formulas; 1.4 Parameters and diagrams; 1.5 Canonical models; History And Bibliography; 2 Classifying structures; 2.1 Definable subsets; 2.2 Definable classes of structures; 2.3 Some notions from logic; 2.4 Maps and the formulas they preserve; 2.5 Classifying maps by formulas; 2.6 Translations; 2.7 Quantifier elimination; 2.8 Further examples; History and bibliography | |
| 505 | 8 | |a 3 Structures that look alike3.1 Theorems of skolem; 3.2 Back-and-forth equivalence; 3.3 Games for elementary equivalence; 3.4 Closed games; 3.5 Games and infinitary languages; 3.6 Clubs; History and bibliography; 4 Automorphisms; 4.1 Automorphisms; 4.2 Subgroups of small index; 4.3 Imaginary elements; 4.4 Eliminating imaginaries; 4.5 Minimal sets; 4.6 Geometries; 4.7 Almost strongly minimal theories; 4.8 Zil'ber's configuration; History and bibliography; 5 Interpretations; 5.1 Relativisation; 5.2 Pseudo-elementary Classes; 5.3 Interpreting one structure in another | |
| 505 | 8 | |a 5.4 Shapes and sizes of interpretations5.5 Theories that interpret anything; 5.6 Totally transcendental structures; 5.7 Interpreting groups and fields; History and bibliography; 6 The first-order case: compactness; 6.1 Compactness for first-order logic; 6.2 Boolean algebras and stone spaces; 6.3 Types; 6.4 Elementary amalgamation; 6.5 Amalgamation and preservation; 6.6 Expanding the language; 6.7 Stability; History and bibliography; 7 The countable case; 7.1 Fraisse's construction; 7.2 Omitting types; 7.3 Countable categoricity; 7.4 Cocategorical structures by fraisse's method | |
| 505 | 8 | |a History and bibliography8 The existential case; 8.1 Existentially closed structures; 8.2 Two methods of construction; 8.3 Model-completeness; 8.4 Quantifier elimination revisited; 8.5 More on e.c. models; 8.6 Amalgamation revisited; History and bibliography; 9 The Horn case: products; 9.1 Direct products; 9.2 Presentations; 9.3 Word-constructions; 9.4 Reduced products; 9.5 Ultraproducts; 9.6 The feferman-vaught theorem; 9.7 Boolean powers; History and bibliography; 10 Saturation; 10.1 The great and the good; 10.2 Big models exist; 10.3 Syntactic characterisations; 10.4 Special models | |
| 505 | 8 | |a 10.5 Definability10.6 Resplendence; 10.7 Atomic compactness; History and bibliography; 11 Combinatorics; 11.1 Indiscernibles; 11.2 Ehrenfeucht-Mostowski models; 11.3 Em models of unstable theories; 11.4 Nonstandard methods; 11.5 Defining well-orderings; 11.6 Infinitary indiscernibles; History and bibliography; 12 Expansions and categoricity; 12.1 One-cardinal and two-cardinal theorems; 12.2 Categoricity; 12.3 Cohomology of expansions; 12.4 Counting Expansions; 12.5 Relative categoricity; History and bibliography; Appendix: Examples; A.1 Modules; A.2 Abelian groups | |
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Model theory. | |
| 650 | 6 | |a Théorie des modèles. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Model theory. |2 fast |0 (OCoLC)fst01024368 | |
| 650 | 7 | |a Modelltheorie |2 gnd | |
| 650 | 7 | |a Mathematische Logik |2 gnd | |
| 650 | 1 | 7 | |a Wiskundige modellen. |2 gtt |
| 650 | 7 | |a Lógica matemática. |2 larpcal | |
| 650 | 7 | |a Teoria dos modelos. |2 larpcal | |
| 650 | 7 | |a Modelos matemáticos. |2 larpcal | |
| 650 | 7 | |a Modèles, théorie des. |2 ram | |
| 650 | 0 | 7 | |a Modelltheorie. |2 swd |
| 650 | 0 | 7 | |a Mathematische Logik. |2 swd |
| 776 | 0 | 8 | |i Print version: |a Hodges, Wilfrid. |t Model theory |z 0521304423 |w (DLC) 91025082 |w (OCoLC)24173886 |
| 830 | 0 | |a Encyclopedia of mathematics and its applications ; |v v. 42. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=569376 |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10454508 | ||
| 938 | |a EBSCOhost |b EBSC |n 569376 | ||
| 938 | |a Internet Archive |b INAR |n modeltheory0000hodg | ||
| 938 | |a YBP Library Services |b YANK |n 13015584 | ||
| 938 | |a YBP Library Services |b YANK |n 11817865 | ||
| 994 | |a 92 |b IZTAP | ||