Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

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'' and ``The Teaching of Logic'' 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 Π1 2 -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 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'' and ``The Teaching of Logic''.