Ebook: Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience.

---

This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience.
Content:
Front Matter....Pages i-vii
The Logical Foundations of Discourse Interpretation....Pages 1-44
Complete Sets and Structure in Subrecursive Classes....Pages 45-77
Kernels and cohomology groups for some finite covers....Pages 79-99
On “star” schemata of Kossak and Paris....Pages 101-114
Arithmetizing proofs in analysis....Pages 115-158
Satisfaction classes and automorphisms of models of PA....Pages 159-169
Free monoid completeness of the Lambek calculus allowing empty premises....Pages 171-209
Simple groups definable in O-minimal structures....Pages 211-218
Two-Dimensional Temporal Logic....Pages 219-236
Rather Classless, Highly Saturated Models of Peano Arithmetic....Pages 237-246
Incompleteness theorems and $ S_2^i $ versus $ S_2^{i + 1} $ ....Pages 247-261

---

This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience.
Content:
Front Matter....Pages i-vii
The Logical Foundations of Discourse Interpretation....Pages 1-44
Complete Sets and Structure in Subrecursive Classes....Pages 45-77
Kernels and cohomology groups for some finite covers....Pages 79-99
On “star” schemata of Kossak and Paris....Pages 101-114
Arithmetizing proofs in analysis....Pages 115-158
Satisfaction classes and automorphisms of models of PA....Pages 159-169
Free monoid completeness of the Lambek calculus allowing empty premises....Pages 171-209
Simple groups definable in O-minimal structures....Pages 211-218
Two-Dimensional Temporal Logic....Pages 219-236
Rather Classless, Highly Saturated Models of Peano Arithmetic....Pages 237-246
Incompleteness theorems and $ S_2^i $ versus $ S_2^{i + 1} $ ....Pages 247-261
....