Name: Lectures on Infinitary Model Theory (Lecture Notes in Logic) (en Inglés)
SKU: 51665154
Price: 181.82 USD
Availability: InStock
Author: David Marker

portada Lectures on Infinitary Model Theory (Lecture Notes in Logic) (en Inglés)

Lectures on Infinitary Model Theory (Lecture Notes in Logic) (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

David Marker

Año

2016

Idioma

Inglés

N° páginas

192

Encuadernación

Tapa Dura

ISBN13

9781107181939

N° edición

Categorías

Lógica matemática

Lectures on Infinitary Model Theory (Lecture Notes in Logic) (en Inglés)

David Marker (Autor) · Cambridge University Press · Tapa Dura

Libro Nuevo Importado

Envío: 21 a 28 días háb.

$ 363.64$ 181.82

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 181.82

Llega entre el 22 Sep y el 05 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Lectures on Infinitary Model Theory (Lecture Notes in Logic) (en Inglés)"

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.