Willkommen, schön sind Sie da!
Logo Ex Libris

Lectures on Infinitary Model Theory

  • E-Book (pdf)
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion th... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 93.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.

Beschreibung

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 Montalban'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.

Produktinformationen

Titel: Lectures on Infinitary Model Theory
Autor:
EAN: 9781316859605
ISBN: 978-1-316-85960-5
Digitaler Kopierschutz: Adobe-DRM
Format: E-Book (pdf)
Herausgeber: Cambridge University Press
Genre: Grundlagen
Veröffentlichung: 27.10.2016
Jahr: 2016
Untertitel: Englisch