Logic Colloquium '96: Proceedings of the Colloquium Held in San Sebastián, Spain, July 9-15, 1996

ISBN-13: 9781107166080 / Angielski / Twarda / 2017 / 269 str.

J. M. Larrazabal; D. Lascar; G. Mints

Opis

Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain.

Spis treści

Preface; 1. The logical foundations of discourse interpretation Nicholas Asher; 2. Complete sets and structure in subrecursive classes Harry Burhman and Leen Torenvliet; 3. Kernels and cohomology groups for some finite covers David M. Evans and Darren G. D. Gray; 4. On 'star' schemata of Kossak and Paris Vladimir Kanovei; 5. Arithmetizing proofs in analysis Ulrich Kohlenbach; 6. Satisfaction classes and automorphisms of models of PA Roman Kossak; 7. Free monoid completeness of the Lambek calculus allowing empty premises M. Pentus; 8. Simple groups definable in O-minimal structures Ya'acov Peterzil, Anand Pillay and Sergei Starchenko; 9. Two-dimensional temporal logic Mark Reynolds; 10. Rather classless, highly saturated models of Peano arithmetic James H. Schmerl; 11. Incompleteness theorems and Si1 vs Si+11 . Gaisi Takeuti.