Logic Colloquium '96

Herausgeber: Larrazabal, J. M.; Mints, G.; Lascar, D.

• Gebundenes Buch

Produktbeschreibung

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

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 270
• Erscheinungstermin: 15. Februar 2017
• Englisch
• Abmessung: 235mm x 157mm x 21mm
• Gewicht: 593g
• ISBN-13: 9781107166080
• ISBN-10: 110716608X
• Artikelnr.: 47773400

Inhaltsangabe

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.