You are here

Logic Colloquium 2005

Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, and John R. Steel, editors
Publisher: 
Cambridge University Press
Publication Date: 
2008
Number of Pages: 
272
Format: 
Hardcover
Series: 
Lecture Notes in Logic 28
Price: 
75.00
ISBN: 
978-521884259
Category: 
Proceedings
We do not plan to review this book.

1. Thread algebra and risk assessment services Jan A. Bergstra, Inge Bethke and Alban Ponse; 2. Covering definable manifolds by open definable subsets Mário J. Edmundo; 3. Isomorphisms and definable relations on computable models Sergei S. Goncharov; 4. Independence for types in algebraically closed valued fields Deirdre Haskell; 5. Simple groups of finite Morley rank Eric Jaligot; 6. Towards a logic of type-free modality and truth Hannes Leitgeb; 7. Structural analysis of Aronszajn trees Justin Tatch Moore; 8. Proof analysis in non-classical logics Sara Negri; 9. Paul Bernays' later philosophy of mathematics Charles Parsons; 10. Proofnets for S5: sequents and circuits for modal logic Greg Restall; 11. Recursion on the partial continuous functionals Helmut Schwichtenberg; 12. A transactional approach to the logic of truth Michael Sheard; 13. On some problems in computable topology Dieter Spreen; 14. Monotone inductive definitions and consistency of New Foundations Sergei Tupailo.

Tags: