Skip to content
You are not logged in |Login  

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