This book is the result of a meeting that took place at the University of Ghent (Belgium) on the relations between Hilbert's tenth problem, arithmetic, and alge

Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecida

The Proceedings of the ICM publishes the talks, by invited speakers, at the conference organized by the International Mathematical Union every 4 years. It cover

Publisher description

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, c