THE BIG SALE IS ON! TELL ME MORE

Close Notification

Your cart does not contain any items

Lectures on Infinitary Model Theory

Lecture Notes in Logic #46

David Marker

$203.95

Hardback

Not in-store but you can order this
How long will it take?

QTY:

English
Cambridge University Press
27 October 2016
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.

By:  
Imprint:   Cambridge University Press
Country of Publication:   United Kingdom
Volume:   46
Dimensions:   Height: 236mm,  Width: 160mm,  Spine: 18mm
Weight:   430g
ISBN:   9781107181939
ISBN 10:   1107181933
Series:   Lecture Notes in Logic
Pages:   192
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Hardback
Publisher's Status:   Active

David Marker is LAS Distinguished Professor of Mathematics at the University of Illinois, Chicago, and a Fellow of the American Mathematical Society. His main area of research is model theory and its connections to algebra, geometry and descriptive set theory. His book, Model Theory: An Introduction, is one of the most frequently used graduate texts in the subject and was awarded the Shoenfield Prize for expository writing by the Association for Symbolic Logic.

See Also