Logic Colloquium 2005

by Costas Dimitracopoulos , Ludomir Newelski , Dag Normann , John R. Steel

• ISBN13: 9780521884259
• ISBN10: 052188425X
• Format: Hardcover
• Copyright: 2007-12-03
• Publisher: Cambridge University Press

Summary

The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments. Highlights of this volume from the 2005 meeting include three papers on different aspects of connections between model theory and algebra; a survey of recent major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics.

Table of Contents

Thread algebra and risk assessment services

Covering definable manifolds by open definable subsets

Isomorphisms and definable relations on computable models

Independence for types in algebraically closed valued fields

Simple groups of finite Morley rank

Towards a logic of type-free modality and truth

Structural analysis of Aronszajn trees Justin

Proof analysis in non-classical logics

Paul Bernays' later philosophy of mathematics

Proofnets for S5: sequents and circuits for modal logic

Recursion on the partial continuous functionals

A transactional approach to the logic of truth

On some problems in computable topology

Monotone inductive definitions and consistency of New Foundations

Table of Contents provided by Publisher. All Rights Reserved.