Author(s): G. Lolli, G. Longo and A. Marcja (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 112
Publisher: Elsevier Science Ltd
Year: 1984
Language: English
Pages: iii-v, 1-358
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
