Logic Colloquium '82

✍ Scribed by G. Lolli, G. Longo and A. Marcja (Eds.)

• Publisher: Elsevier Science Ltd
• Year: 1984
• Tongue: English
• Leaves: 356
• Series: Studies in Logic and the Foundations of Mathematics 112
• Category: Library

✦ Table of Contents

Content:
Edited by
Page iii

Copyright page
Page iv

Preface
Page v
G. Lolli, G. Longo, A. Marja

Lectures on Nonstandard Models of Arithmetic: Commemorating Guiseppe Peano Original Research Article
Pages 1-70
C. SmoryЕ„ski

Strong Saturation and the Foundations of Stability Theory Original Research Article
Pages 71-84
John T. Baldwin

Undecidability of Rational Function Fields in Nonzero Characteristic Original Research Article
Pages 85-95
Gregory L. Cherlin

Remarks on Tarski's problem concerning (R, +, *, exp) Original Research Article
Pages 97-121
Lou van den Dries

Sous Groupes D'Automorphismes D'Une Structure Saturee Original Research Article
Pages 123-134
Daniel Lascar

Algebraic Logic and Diagonal Phenomena Original Research Article
Pages 135-144
Roberto Magari

On Logical Sentences in PA Original Research Article
Pages 145-160
Saharon Shelah

Continuous Truth I Non-constructive Objects Original Research Article
Pages 161-180
Michael P. Fourman

Heyting-Valued Semantics Original Research Article
Pages 181-208
R.J. Grayson

Lambda Calculus kHV its Hovels Original Research Article
Pages 209-239
Henk Barendregt

Extended Type Structures and Filter Lambda Models Original Research Article
Pages 241-262
M. Coppo, M. Dezani-Ciancaglini, F. Honsell, G. Longo

Decision Problems in Predicate Logic Original Research Article
Pages 263-301
Egon Börger

Model Theoretic Issues in Theoretical Computer Science, Part I: Relational Data Bases and Abstract Data Types Original Research Article
Pages 303-343
J.A. Makowsky

NP and Craig's Interpolation Theorem Original Research Article
Pages 345-358
Daniele Mundici