Narrow your search

Library

ULiège (4)

KU Leuven (2)

LUCA School of Arts (2)

Odisee (2)

Thomas More Kempen (2)

Thomas More Mechelen (2)

UCLL (2)

VIVES (2)

VUB (2)

UGent (1)

More...

Resource type

book (3)

article (1)


Language

English (3)

Undetermined (1)


Year
From To Submit

2016 (2)

2002 (1)

Listing 1 - 4 of 4
Sort by

Article
Manin kernels
Author:

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Model theory of fields
Authors: --- ---
ISBN: 131673160X 1316745112 1316747042 1316754766 1316716996 1316748979 1107168074 9781316754764 9781316716991 9781107168077 Year: 2016 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the fifth publication in the Lecture Notes in Logic series, the authors give an insightful introduction to the fascinating subject of the model theory of fields, concentrating on its connections to stability theory. In the first two chapters David Marker gives an overview of the model theory of algebraically closed, real closed and differential fields. In the third chapter Anand Pillay gives a proof that there are 2א non-isomorphic countable differential closed fields. Finally, Margit Messmer gives a survey of the model theory of separably closed fields of characteristic p > 0.


Book
Lectures on infinitary model theory
Authors: ---
ISBN: 1316859223 1316859606 1316859983 1316860361 1316861503 1316855562 1316856941 9781316860366 9781316861509 9781316855560 9781316861127 1316861120 9781316859223 9781316859605 9781316859988 9781107181939 1107181933 Year: 2016 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.

Listing 1 - 4 of 4
Sort by