LEADER 00000cam a2200805 i 4500 001 ocn956505413 003 OCoLC 005 20230113054233.0 006 m o d 007 cr cnu|||unuuu 008 160811t20162016enk ob 001 0 eng d 019 961006802|a961408038|a961826181|a965393201|a971543437 |a1242477184 020 9781316860366|q(electronic book) 020 1316860361|q(electronic book) 020 9781316861509|q(electronic book) 020 1316861503|q(electronic book) 020 9781316855560|q(electronic book) 020 1316855562|q(electronic book) 020 9781316861127|q(MyiLibrary) 020 1316861120|q(MyiLibrary) 020 1316859223 020 9781316859223 020 1316859606 020 9781316859605 020 1316859983 020 9781316859988 020 |z9781107181939|q(hardback) 020 |z1107181933|q(hardback) 035 (OCoLC)956505413|z(OCoLC)961006802|z(OCoLC)961408038 |z(OCoLC)961826181|z(OCoLC)965393201|z(OCoLC)971543437 |z(OCoLC)1242477184 037 CL0500000828|bSafari Books Online 040 N$T|beng|erda|epn|cN$T|dIDEBK|dOCLCQ|dEBLCP|dN$T|dNOC |dOCLCF|dCOO|dUIU|dYDX|dCSAIL|dMERUC|dUMI|dSTF|dWAU|dOCLCQ |dU3W|dREB|dVT2|dUPM|dUOK|dCEF|dKSU|dOTZ|dWYU|dC6I|dLEAUB |dUKAHL|dOCLCQ|dSFB|dK6U|dOCLCO|dOCLCQ 049 RIDW 050 4 QA9.37|b.M37 2016 072 7 MAT|x000000|2bisacsh 082 04 511.3/4|223 090 QA9.37|b.M37 2016 100 1 Marker, D.|q(David),|d1958-|0https://id.loc.gov/ authorities/names/n95122759|eauthor. 245 10 Lectures on infinitary model theory /|cDavid Marker, University of Illinois, Chicago. 264 1 Cambridge, United Kingdom ;|aNew York, NY, USA : |bCambridge University Press,|c[2016] 264 4 |c©2016 300 1 online resource (183 pages). 336 text|btxt|2rdacontent 337 computer|bc|2rdamedia 338 online resource|bcr|2rdacarrier 340 |gpolychrome|2rdacc 347 text file|2rdaft 490 1 Lecture notes in logic ;|v46 500 "Association for Symbolic Logic." 504 Includes bibliographical references and index. 505 0 Part 1. Classical results in infinitary model theory -- Part 2. Building uncountable models -- Part 3. Effective considerations. 520 "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 Print version record. 590 eBooks on EBSCOhost|bEBSCO eBook Subscription Academic Collection - North America 650 0 Infinitary languages.|0https://id.loc.gov/authorities/ subjects/sh85066097 650 0 Model theory.|0https://id.loc.gov/authorities/subjects/ sh85086421 650 0 Logic, Symbolic and mathematical.|0https://id.loc.gov/ authorities/subjects/sh85078115 650 7 Infinitary languages.|2fast|0https://id.worldcat.org/fast/ 972420 650 7 Model theory.|2fast|0https://id.worldcat.org/fast/1024368 650 7 Logic, Symbolic and mathematical.|2fast|0https:// id.worldcat.org/fast/1002068 650 7 MATHEMATICS|xGeneral.|2bisacsh 710 2 Association for Symbolic Logic.|0https://id.loc.gov/ authorities/names/n50054564 776 08 |iPrint version:|aMarker, D. (David), 1958-|tLectures on infinitary model theory.|dCambridge, United Kingdom ; New York, NY, USA : Cambridge University Press, [2016] |z9781107181939|w(DLC) 2016034421|w(OCoLC)951835824 830 0 Lecture notes in logic ;|0https://id.loc.gov/authorities/ names/n93082404|v46. 856 40 |uhttps://rider.idm.oclc.org/login?url=https:// search.ebscohost.com/login.aspx?direct=true&scope=site& db=nlebk&AN=1296600|zOnline ebook via EBSCO. Access restricted to current Rider University students, faculty, and staff. 856 42 |3Instructions for reading/downloading the EBSCO version of this ebook|uhttp://guides.rider.edu/ebooks/ebsco 901 MARCIVE 20231220 948 |d20230203|cEBSCO|tEBSCOebooksacademic NEW 6073 Quarterly |lridw 994 92|bRID