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

Editor(s) J. M. Larrazabal, D. Lascar, G. Mints

Lecture Notes Logic, 12: 261pp. (1998).

Abstract

No abstract available

Hide All Book Information -

Information

Lecture Notes in Logic, Volume 12

261 pp.

Published: 1998

First available in Project Euclid: 23 February 2009

MathSciNet: MR1674929

ISBN: 354064668X

Subjects:

Primary: 03xxx

< Previous Volume | Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

Lecture Notes in Logic Vol. 12, - (1998).

Table of Contents

Lecture Notes in Logic Vol. 12, - (1998).

Preface

Lecture Notes in Logic Vol. 12, v-vi (1998).

The Logical Foundations of Discourse Interpretation

Nicholas Asher

Lecture Notes in Logic Vol. 12, 1-44 (1998).

Complete Sets and Structure in Subrecursive Classes

Harry Buhrman , Leen Torenvliet

Lecture Notes in Logic Vol. 12, 45-77 (1998).

Kernels and cohomology groups for some finite covers

David M. Evans , Darren G. D. Gray

Lecture Notes in Logic Vol. 12, 79-99 (1998).

On "star" schemata of Kossak and Paris

Vladimir Kanovei

Lecture Notes in Logic Vol. 12, 101-114 (1998).

Arithmetizing proofs in analysis

Ulrich Kohlenbach

Lecture Notes in Logic Vol. 12, 115-158 (1998).

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

Roman Kossak

Lecture Notes in Logic Vol. 12, 159-169 (1998).

Free monoid completeness of the Lambek calculus allowing empty premises

M. Pentus

Lecture Notes in Logic Vol. 12, 171-209 (1998).

Simple groups definable in O-minimal structures

Ya'acov Peterzil , Anand Pillay , Sergei Starchenko

Lecture Notes in Logic Vol. 12, 211-218 (1998).

Two-Dimensional Temporal Logic

Mark Reynolds

Lecture Notes in Logic Vol. 12, 219-236 (1998).

Rather Classless, Highly Saturated Models of Peano Arithmetic

James H. Schmerl

Lecture Notes in Logic Vol. 12, 237-246 (1998).

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

Gaisi Takeuti

Lecture Notes in Logic Vol. 12, 247-261 (1998).

Miscellaneous Backmatter

Lecture Notes in Logic Vol. 12, - (1998).

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS