Cargando…
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
Provability, Computability and Reflection.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
North-Holland Pub. Co.,
1971.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 62. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn428097337 | ||
| 003 | OCoLC | ||
| 005 | 20231117032817.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090728s1971 ne ob 001 0 eng d | ||
| 010 | |z 79140490 | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OCLCQ |d E7B |d OCLCQ |d OPELS |d OCLCF |d OCLCE |d COO |d OCLCQ |d DEBSZ |d INARC |d LEAUB |d VLY |d S2H |d OCLCO |d OCLCQ |d COA |d OCLCO | ||
| 015 | |a Ne71-33 | ||
| 019 | |a 679941152 |a 726823486 |a 1036747019 |a 1086414527 |a 1150857420 |a 1162122666 |a 1340114455 | ||
| 020 | |a 9780720422580 | ||
| 020 | |a 0720422582 | ||
| 020 | |a 1283525399 | ||
| 020 | |a 9781283525398 | ||
| 020 | |a 9786613837844 | ||
| 020 | |a 6613837849 | ||
| 020 | |a 0080954758 | ||
| 020 | |a 9780080954752 | ||
| 024 | 8 | |a (WaSeSS)ssj0000485924 | |
| 035 | |a (OCoLC)428097337 |z (OCoLC)679941152 |z (OCoLC)726823486 |z (OCoLC)1036747019 |z (OCoLC)1086414527 |z (OCoLC)1150857420 |z (OCoLC)1162122666 |z (OCoLC)1340114455 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA9 |b .K33 1971 | |
| 082 | 0 | 4 | |a 511/.3 |2 22 |
| 100 | 1 | |a Keisler, H. Jerome. | |
| 245 | 1 | 0 | |a Model theory for infinitary logic : |b logic with countable conjunctions and finite quantifiers / |c H. Jerome Keisler. |
| 260 | |a Amsterdam : |b North-Holland Pub. Co., |c 1971. | ||
| 300 | |a 1 online resource (x, 208 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |2 rdaft |0 http://rdaregistry.info/termList/fileType/1002. | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics ; |v v. 62 | |
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 505 | 0 | |a Front Cover; Model Theory for Imfinitary Logic; Copyright Page; Table of Contents; PART I; Chapter 1. Introduction; Chapter 2. Scott's Isomorphism Theorem; Chapter 3. Model Existence Theorem; Chapter 4. Completeness Theorem; Chapter 5. Craig Interpolation Theorem; Chapter 6. Lyndon Interpolation Theorem; Chapter 7. Malitz Interpolation Theorem; Chapter 8. Admissible sets; Chapter 9. Barwise Compactness Theorem; Chapter 10. Undefinability of well order; Chapter 11. Omitting Types Theorem; Chapter 12. Prime models; PART II; Chapter 13. Skolem functions and indiscernibles | |
| 520 | |a Provability, Computability and Reflection. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Infinitary languages. | |
| 650 | 0 | |a Model theory. | |
| 650 | 6 | |a Langages infinitaires. |0 (CaQQLa)201-0012731 | |
| 650 | 6 | |a Th�eorie des mod�eles. |0 (CaQQLa)201-0015270 | |
| 650 | 7 | |a Infinitary languages |2 fast |0 (OCoLC)fst00972420 | |
| 650 | 7 | |a Model theory |2 fast |0 (OCoLC)fst01024368 | |
| 776 | 0 | 8 | |i Print version: |a Keisler, H. Jerome. |t Model theory for infinitary logic. |d Amsterdam : North-Holland Pub. Co., 1971 |z 0720422582 |z 9780720422580 |w (DLC) 79140490 |w (OCoLC)214524 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 62. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780720422580 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/62 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=62 |z Texto completo |