Lectures on Infinitary Model Theory

Nonfiction, Science & Nature, Mathematics, Set Theory, Logic
Cover of the book Lectures on Infinitary Model Theory by David Marker, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: David Marker ISBN: 9781316856949
Publisher: Cambridge University Press Publication: October 27, 2016
Imprint: Cambridge University Press Language: English
Author: David Marker
ISBN: 9781316856949
Publisher: Cambridge University Press
Publication: October 27, 2016
Imprint: Cambridge University Press
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Cambridge University Press

Cover of the book A Population History of the United States by David Marker
Cover of the book Targeted Killing by David Marker
Cover of the book The Frigid Golden Age by David Marker
Cover of the book The Intellectual Foundations of Chinese Modernity by David Marker
Cover of the book The Cambridge Companion to Vygotsky by David Marker
Cover of the book The World of the Khanty Epic Hero-Princes by David Marker
Cover of the book The State, Antisemitism, and Collaboration in the Holocaust by David Marker
Cover of the book Ordering Power by David Marker
Cover of the book The Causal Power of Social Structures by David Marker
Cover of the book Europe's Contending Identities by David Marker
Cover of the book Global Constitutionalism from European and East Asian Perspectives by David Marker
Cover of the book European Consensus and the Legitimacy of the European Court of Human Rights by David Marker
Cover of the book Analysing English Grammar by David Marker
Cover of the book The French Who Fought for Hitler by David Marker
Cover of the book Services Liberalization in the EU and the WTO by David Marker
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy