1.

Record Nr.

UNINA9910300156203321

Autore

van den Dries Lou

Titolo

Model Theory in Algebra, Analysis and Arithmetic : Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori / / by Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014

ISBN

3-642-54936-5

Edizione

[1st ed. 2014.]

Descrizione fisica

1 online resource (VII, 195 p.)

Collana

C.I.M.E. Foundation Subseries ; ; 2111

Disciplina

511.3

Soggetti

Mathematical logic

Algebra

Mathematical analysis

Analysis (Mathematics)

Number theory

Mathematical Logic and Foundations

Analysis

Number Theory

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references.

Nota di contenuto

Some themes around first order theories without the independence property -- Lectures on the model theory of real and complex exponentiation -- Lectures on the model theory of valued fields -- Undecidability in number theory.

Sommario/riassunto

Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; and 4) the model theory of real and complex exponentiation. Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics.