Logic colloquium ’88

Table of Contents......Page 8
Preface......Page 6
On the model theory of free metabelian groups of bounded exponent (A. Baudisch)......Page 10
D.O.P and n-tuples of models (E. Bouscaren)......Page 20
Algebra and model theory of chain fields: an overview (M.A. Dickmann)......Page 38
A Lefschetz principle for integral closures (A. Macintyre)......Page 62
The C^*-algebras of three-valued logic (D. Mundici)......Page 69
Some problems and results in the theory of actually computable functions (W.Maass, T.A. Slaman)......Page 86
Kleene-spaces (D. Normann)......Page 97
On bounded time Turing reducibility on the recursive sets (T.A. Slaman)......Page 116
The \\Pi^1_2-singleton conjecture: an introduction (S.Friedman)......Page 118
The descriptive set theory of \\sigma-ideals of compact sets (A.S. Kechris)......Page 122
Solving equation in lambda-calculus (C. Böhm, A. Piperno, E. Tronci)......Page 144
Comparative logics and abelian l-groups (E. Casari)......Page 166
Finitary inductively presented logics (S. Feferman)......Page 196
Geometry of interaction 1: interpretation of system F (J.Y. Girard)......Page 226
Intuitionistic formal spaces and their neighbourhood (G. Sambin)......Page 266
Probabilistic models (R. Chuaqui)......Page 291
Logical partial functions and extension of equational logic (W. Craig)......Page 322
Relation with computer science (M. Davis)......Page 359
Some remarks (S. Feferman)......Page 362
Trends in logic (A. Macintyre)......Page 365
Remarks concerning the comments of A. Macintyre (V. Harnik)......Page 368
Remarks on logic in mathematics and in computer science (G. Longo)......Page 369
Comments in the panel discussion on trends in logic (A. Ranta)......Page 372
Concluding remarks in the panel discussion (Y.N. Moschovakis)......Page 373
The teaching of logic (C. Bernardi)......Page 376
Teaching the incompleteness theorem (M. Davis)......Page 379
LTF-a logic teaching framework (D.J. Watt)......Page 387