Cargando…
Lectures on infinitary model theory /
"Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of ma...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge, United Kingdom ; New York, NY, USA :
Cambridge University Press,
[2016]
|
| Colección: | Lecture notes in logic ;
46. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn956505413 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 160811t20162016enk ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d IDEBK |d OCLCQ |d EBLCP |d N$T |d NOC |d OCLCF |d COO |d UIU |d YDX |d CSAIL |d MERUC |d UMI |d STF |d WAU |d OCLCQ |d U3W |d REB |d VT2 |d UPM |d UOK |d CEF |d KSU |d OTZ |d WYU |d C6I |d LEAUB |d UKAHL |d OCLCQ |d SFB |d K6U |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 961006802 |a 961408038 |a 961826181 |a 965393201 |a 971543437 |a 1242477184 | ||
| 020 | |a 9781316860366 |q (electronic book) | ||
| 020 | |a 1316860361 |q (electronic book) | ||
| 020 | |a 9781316861509 |q (electronic book) | ||
| 020 | |a 1316861503 |q (electronic book) | ||
| 020 | |a 9781316855560 |q (electronic book) | ||
| 020 | |a 1316855562 |q (electronic book) | ||
| 020 | |a 9781316861127 |q (MyiLibrary) | ||
| 020 | |a 1316861120 |q (MyiLibrary) | ||
| 020 | |a 1316859223 | ||
| 020 | |a 9781316859223 | ||
| 020 | |a 1316859606 | ||
| 020 | |a 9781316859605 | ||
| 020 | |a 1316859983 | ||
| 020 | |a 9781316859988 | ||
| 020 | |z 9781107181939 |q (hardback) | ||
| 020 | |z 1107181933 |q (hardback) | ||
| 029 | 1 | |a CHNEW |b 000960942 | |
| 029 | 1 | |a GBVCP |b 897164091 | |
| 035 | |a (OCoLC)956505413 |z (OCoLC)961006802 |z (OCoLC)961408038 |z (OCoLC)961826181 |z (OCoLC)965393201 |z (OCoLC)971543437 |z (OCoLC)1242477184 | ||
| 037 | |a CL0500000828 |b Safari Books Online | ||
| 050 | 4 | |a QA9.37 |b .M37 2016 | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3/4 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Marker, D. |q (David), |d 1958- |e author. | |
| 245 | 1 | 0 | |a Lectures on infinitary model theory / |c David Marker, University of Illinois, Chicago. |
| 264 | 1 | |a Cambridge, United Kingdom ; |a New York, NY, USA : |b Cambridge University Press, |c [2016] | |
| 264 | 4 | |c ©2016 | |
| 300 | |a 1 online resource (183 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 Lecture notes in logic ; |v 46 | |
| 500 | |a "Association for Symbolic Logic." | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Part 1. Classical results in infinitary model theory -- Part 2. Building uncountable models -- Part 3. Effective considerations. | |
| 520 | |a "Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, model existence techniques, indiscernibles and end extensions are covered before more modern topics are surveyed. Zilber's categoricity theorem for quasiminimal excellent classes is proved and an application is given to covers of multiplicative groups. Infinitary methods are also used to study uncountable models of counterexamples to Vaught's conjecture, and effective aspects of infinitary model theory are reviewed, including an introduction to Montalbán's recent work on spectra of Vaught counterexamples. Self-contained introductions to effective descriptive set theory and hyperarithmetic theory are provided, as is an appendix on admissible model theory"--Provided by publisher. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Infinitary languages. | |
| 650 | 0 | |a Model theory. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Langages infinitaires. | |
| 650 | 6 | |a Théorie des modèles. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Infinitary languages |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Model theory |2 fast | |
| 710 | 2 | |a Association for Symbolic Logic. | |
| 776 | 0 | 8 | |i Print version: |a Marker, D. (David), 1958- |t Lectures on infinitary model theory. |d Cambridge, United Kingdom ; New York, NY, USA : Cambridge University Press, [2016] |z 9781107181939 |w (DLC) 2016034421 |w (OCoLC)951835824 |
| 830 | 0 | |a Lecture notes in logic ; |v 46. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1296600 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH33405277 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH34211401 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH31455384 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH31455383 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL4620960 | ||
| 938 | |a EBSCOhost |b EBSC |n 1296600 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis35455589 | ||
| 938 | |a YBP Library Services |b YANK |n 13115447 | ||
| 938 | |a YBP Library Services |b YANK |n 13114902 | ||
| 938 | |a YBP Library Services |b YANK |n 13111117 | ||
| 994 | |a 92 |b IZTAP | ||