Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Logic: From Foundations to Applications : European Logic Colloquium, Hardback Book

Logic: From Foundations to Applications : European Logic Colloquium Hardback

Edited by Wilfrid (Professor, School of Mathematical Sciences, Queen Mary and Westfield College, Profe Hodges, Martin (Department of Pure Mathematics and Mathematical Statistics, Department of Pure Mathe Hyland, Charles (Department of Mathematics, Department of Mathematics, Vassar College) Steinhorn, J. (School of Mathematics, School of Mathematics, University of Leeds) Truss

Hardback

Out of stock

Description

This book contains twenty-one essays by leading authorities on aspects of contemporary logic, ranging from foundations of set theory to applications of logic in computing and in the theory of fields. In those parts of logic closest to computer science, the gap between foundations and applications is often small, as illustrated by three essays on the proof theory of non-classical logics.

There are also chapters on the lambda calculus, on relating logic programs to inductive definitions, on Buechi and Presburger arithmetics, and on definability in Lindenbaum algebras.

Aspects of constructive mathematics discussed are embeddings of Heyting algebras and proofs in mathematical anslysis. Set theory is well covered with six chapters discussing Cohen forcing, Baire category, determinancy, Nash-Williams theory, critical points (and the remarkable connection between them and properties of left distributive operations) and independent structures.

The longest chapter in the book is a survey of 0-minimal structures, by Lou van den Dries; during the last ten years these structures have come to take a central place in applications of model theory to fields and function theory, and this chapter is the first broad survey of the area.

Other chapters illustrate how to apply model theory to field theory, complex geometry and groups, and how to recover from its automorphism group.

Finally, one chapter applies to the theory of toric varieties to solve problems about many-valued logics.

Information

£48.49

Out of stock
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information