Logic colloquium 2005 / ed. by Dimitracopoulos C. et al. - Cambridge: Cambridge University Press, 2008. - 272 p. - (Lecture notes in logic; Vol. 28). - ISBN 978-0-521-88425-9  Место хранения:   013 | Институт математики СО РАН | Новосибирск | Библиотека

Оглавление / Contents

Introduction ................................................... ix Speakers and Titles ............................................ xi Jan A. Bergstra, Inge Bethke and Alban Ponse Thread algebra and risk assessment services ................... 1 Mário J. Edmundo Covering definable manifolds by open definable subsets ....... 18 Sergei S. Goncharov Isomorphisms and definable relations on computable models .... 26 Deirdre Haskell Independence for types in algebraically closed valued fields ....................................................... 46 Eric Jaligot Simple groups of finite Morley rank .......................... 57 Hannes Leitgeb Towards a logic of type-free modality and truth .............. 68 Justin Tatch Moore Structural analysis of Aronszajn trees ....................... 85 Sara Negri Proof analysis in non-classical logics ...................... 107 Charles Parsons Paul Bernays' later philosophy of mathematics ............... 129 Greg Restall Proofnets for S5: Sequents and circuits for modal logic ..... 151 Helmut Schwichtenberg Recursion on the partial continuous functional .............. 173 Michael Sheard A transactional approach to the logic of truth .............. 202 Dieter Spreen On some problems in computable topology ..................... 221 Sergei Tupailo Monotone inductive definitions and consistency of New Foundations ................................................. 255