Lectures on Infinitary Model Theory (Hardcover)

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.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Series:	Lecture Notes in Logic
Release date:	October 2016
Authors:	David Marker
Dimensions:	236 x 160 x 18mm (L x W x T)
Format:	Hardcover
Pages:	192
ISBN-13:	978-1-107-18193-9
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory Books > Science & Mathematics > Mathematics > Geometry > Algebraic geometry
LSN:	1-107-18193-3
Barcode:	9781107181939

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!