J. M. Larrazabal, D. Lascar, G. Mints, eds., Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 (Berlin: Springer-Verlag, 1998)

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

Editor: J. M. Larrazabal
Editor: D. Lascar
Editor: G. Mints

Lecture Notes in Logic, Volume 12
Berlin: Springer-Verlag, 1998.
261 pp.

Subjects:

03xxx (primary)

Permanent link to this monograph: http://projecteuclid.org/euclid.lnl/1235413586
Mathmatical Reviews number (MathSciNet): MR1674929
ISBN:3-540-64668-X

Miscellaneous Frontmatter

Table of Contents

Preface

v-vi

The Logical Foundations of Discourse Interpretation

Nicholas Asher; 1-44

Complete Sets and Structure in Subrecursive Classes

Harry Buhrman, and Leen Torenvliet; 45-77

Kernels and cohomology groups for some finite covers

David M. Evans, and Darren G. D. Gray; 79-99

On "star" schemata of Kossak and Paris

Vladimir Kanovei; 101-114

Arithmetizing proofs in analysis

Ulrich Kohlenbach; 115-158

Satisfaction classes and automorphisms of models of $\rm PA$

Roman Kossak; 159-169

Free monoid completeness of the Lambek calculus allowing empty premises

M. Pentus; 171-209

Simple groups definable in O-minimal structures

Ya'acov Peterzil, Anand Pillay, and Sergei Starchenko; 211-218

Two-Dimensional Temporal Logic

Mark Reynolds; 219-236

Rather Classless, Highly Saturated Models of Peano Arithmetic

James H. Schmerl; 237-246

Incompleteness theorems and ${\rm S}\sb 2\sp i$ versus ${\rm S}\sb 2\sp {i+1}$

Gaisi Takeuti; 247-261

Miscellaneous Backmatter

Lecture Notes in Logic

ASL LNL Home