Cargando…
Model theory /
Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst ord...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : New York, NY, USA :
North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
1990.
|
| Edición: | 3rd ed. |
| Colección: | Studies in logic and the foundations of mathematics ;
v. 73. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn316568612 | ||
| 003 | OCoLC | ||
| 005 | 20231117015252.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090320s1990 ne ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OPELS |d OCLCQ |d OCLCF |d OCLCO |d DEBBG |d N$T |d E7B |d YDXCP |d UA@ |d OCLCQ |d DEBSZ |d LEAUB |d S2H |d OCLCO |d NLW |d INARC |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 297411509 |a 646756707 |a 1274705740 | ||
| 020 | |a 9780444880543 | ||
| 020 | |a 0444880542 | ||
| 020 | |a 9781435687004 |q (electronic bk.) | ||
| 020 | |a 1435687000 |q (electronic bk.) | ||
| 020 | |a 9780080880075 |q (EPUB) | ||
| 020 | |a 008088007X |q (EPUB) | ||
| 035 | |a (OCoLC)316568612 |z (OCoLC)297411509 |z (OCoLC)646756707 |z (OCoLC)1274705740 | ||
| 050 | 4 | |a QA9.7 |b .C45 1990eb | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511/.8 |2 22 |
| 100 | 1 | |a Chang, Chen Chung, |d 1927- | |
| 245 | 1 | 0 | |a Model theory / |c C.C. Chang, H.J. Keisler. |
| 250 | |a 3rd ed. | ||
| 260 | |a Amsterdam ; |a New York : |b North-Holland ; |a New York, NY, USA : |b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., |c 1990. | ||
| 300 | |a 1 online resource (xvi, 650 pages) | ||
| 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 Studies in logic and the foundations of mathematics ; |v v. 73 | |
| 520 | |a Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory. This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text. | ||
| 504 | |a Includes bibliographical references (pages 623-640). | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Introduction. What is Model Theory? Model Theory for Sentential Logic. Languages, Models and Satisfaction. Theories and Examples of Theories. Elimination of Quantifiers; Models Constructed from Constants. Completeness and Compactness. Refinements of the Method. Omitting Types and Interpolation Theorems. Countable Models of Complete Theories. Recursively Saturated Models. Lindstrm's Characterization of First Order Logic; Further Model-Theoretic Constructions. Elementary Extensions and Elementary Chains. Applications of Elementary Chains. Skolem Functions and Indiscernibles. Some Examples. Model Completeness; Ultraproducts. The Fundamental Theorem. Measurable Cardinals. Regular Ultrapowers. Nonstandard Universes; Saturated and Special Models. Saturated and Special Models. Preservation Theorems. Applications of Special Models to the Theory of Definability. Applications to Field Theory. Application to Boolean Algebras; More About Ultraproducts and Generalizations. Ultraproducts Which are Saturated. Direct Products, Reduced Products, and Horn Sentences. Limit Ultrapowers and Complete Extensions. Iterated Ultrapowers; Selected Topics. Categoricity in Power. An Extension of Ramsey's Theorem and Applications; Some Two-Cardinal Theorems. Models of Large Cardinality. Large Cardinals and the Constructible Universe; Appendices: Set Theory. Open Problems in Classical Model Theory; Historical Notes; References. Additional References | |
| 506 | 1 | |a Legal Deposit; |c Only available on premises controlled by the deposit library and to one user at any one time; |e The Legal Deposit Libraries (Non-Print Works) Regulations (UK). |5 WlAbNL | |
| 540 | |a Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force. |5 WlAbNL | ||
| 650 | 0 | |a Model theory. | |
| 650 | 6 | |a Th�eorie des mod�eles. |0 (CaQQLa)201-0015270 | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Model theory |2 fast |0 (OCoLC)fst01024368 | |
| 650 | 1 | 7 | |a Modeltheorie. |2 gtt |
| 650 | 7 | |a Mod�eles, th�eorie des. |2 ram | |
| 700 | 1 | |a Keisler, H. Jerome. | |
| 776 | 0 | 8 | |i Print version: |a Chang, Chen Chung, 1927- |t Model theory. |b 3rd ed. |d Amsterdam ; New York : North-Holland ; New York, NY, USA : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990 |z 0444880542 |z 9780444880543 |w (DLC) 89071124 |w (OCoLC)20826584 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 73. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444880543 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=73 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/73 |z Texto completo |