Logic Colloquium '88, Proceedings of the Colloquium held in Padova

✍ Scribed by R. Ferro, C. Bonotto, S. Valentini and A. Zanardo (Eds.)

• Publisher: North-Holland
• Year: 1989
• Tongue: English
• Leaves: 391
• Series: Studies in Logic and the Foundations of Mathematics 127
• Category: Library

✦ Synopsis

The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. As well as selected papers, the two panel discussions are also included, on Trends in Logic'' andThe Teaching of Logic''

✦ Table of Contents

Content:
Edited by
Pages ii-iii

Copyright page
Page iv

European Summer Meeting of the Association for Symbolic Logic Padova, 1988
Pages v-vi
Ruggero Ferro, Cinzia Bonotto, Silvio Valentini, Alberto Zanardo

On the model theory of free metabelian groups of bounded exponent Original Research Article
Pages 1-10
Andreas Baudisch

D.O.P and N-Tuples of Models Original Research Article
Pages 11-28
Elisabeth Bouscaren

Algebra and Model Theory of Chain Fields an Overview Original Research Article
Pages 29-52
M.A. Dickmann

A Lefschetz Principle for Integral Closures Original Research Article
Pages 53-59
Angus Macintyre

The C^*-Algebras of Three-Valued Logic Original Research Article
Pages 61-77
Danele Mundici

Some Problems and Results in the Theory of Actually Computable Functions (preliminary abstract) Original Research Article
Pages 79-89
Wolfgang Maass, Theodore A. Slaman

Kleene-spaces Original Research Article
Pages 91-109
Dag Normann

On Bounded Time Turing Reducibility on the Recursive Sets Original Research Article
Pages 111-112
Theodore A. Slaman

The О ¹₂-Singleton Conjecture: An Introduction Original Research Article
Pages 113-116
D. Friedman

The Descriptive Set Theory of Пѓ - Ideals of Compact Sets Original Research Article
Pages 117-138
Alexander S. Kechris

Solving Equations in Lambda-Calculus Original Research Article
Pages 139-160
C. Böhm, A. Pipemo, E. Tronci

Comparative Logics and Abelian l-Groups Original Research Article
Pages 161-190
Ettore Casari

Finitary inductively presented logics Original Research Article
Pages 191-220
Solomon Feferman

Geometry of Interaction 1: Interpretation of System F Original Research Article
Pages 221-260
Jean-Yves Girard

Intuitionistic formal spaces and their neighbourhood Original Research Article
Pages 261-285
Giovanni Sambin

Probabilistic Models Original Research Article
Pages 287-317
Rolando Chuaqui

Logical Partial Functions and Extensions of Equational Logic Original Research Article
Pages 319-354
William Craig

Trends in Logic: Relations with Computer Science Original Research Article
Pages 357-359
Martin Davis

Remarks for the “Trends in Logic” Panel discussion, Logic Colloquium '88, Padova, 23-30 August, 1988 Original Research Article
Pages 361-363
Solomon Feferman

Trends in Logic Original Research Article
Pages 365-367
Angus Macintyre

Remarks Concerning the Comments of A. Macintyre Original Research Article
Page 369
Victor Harnik

Remarks on Logic in Mathematics and in Computer Science Original Research Article
Pages 371-373
Giuseppe Longo

Comments in the Panel Discussion on Trends in Logic Original Research Article
Page 375
Aarne Ranta

Concluding Remarks in the Panel Discussion Original Research Article
Pages 377-378
Yiannis N. Moschovakis

The Teaching of Logic Original Research Article
Pages 381-383
Claudio Bernardi

Teaching the Incompleteness Theorem Original Research Article
Pages 385-392
Martin Davis

LTF - A Logic Teaching Framework Original Research Article
Pages 393-403
Duncan J Watt