Logic Colloquium '88 (eBook)

Front Cover 1
Logic Colloquium '88 4
Copyright Page 5
TABLE OF C0NTENTS 8
Preface 6
Chapter 1. On the model theory of free metabelian groups of bounded exponent 10
Chapter 2. D.O.P and n-tuples of models 20
Chapter 3. Algebra and model theory of chain fields: an overview 38
Chapter 4. A Lefschetz principle for integral closures 62
Chapter 5. The C*-algebras of three-valued logic 70
Chapter 6. Some problems and results in the theory of actually computable functions 88
Chapter 7. Kleene-spaces 100
Chapter 8. On bounded time Turing reducibility on the recursive sets 120
Chapter 9. The .1/2-singleton conjecture: an introduction 122
Chapter 10. The descriptive set theory of s-ideals of compact sets 126
Chapter 10. The descriptive set theory of s-ideals of compact sets 126
Chapter 11. Solving equation in lambda-calculus(1) 148
Chapter 12. Comparative logics and abelian l-groups 170
Chapter 13. Finitary inductively presented logics 200
Chapter 14. Geometry of interaction 1: interpretation of system F 230
Chapter 15. Intuitionistic formal spaces and their neighbourhood 270
Chapter 16. Probabilistic models 296
Chapter 17. Logical partial functions and extension of equational logic 328
Part 1: Panel discussion on: TRENDS IN LOGIC 364
Chapter 18. Relation with computer science 366
Chapter 19. Some remarks 370
Chapter 20. Trends in logic 374
Chapter 21. Remarks concerning the comments of A. Macintyre 378
Chapter 22. Remarks on logic in mathematics and in computer science 380
Chapter 23. Comments in the panel discussion on trends in logic 384
Chapter 24. Concluding remarks in the panel discussion 386
Part 2: Panel discussion on: THE TEACHING OF LOGIC 388
Chapter 25. The teaching of logic 390
Chapter 26. Teaching the incompleteness theorem 394
Chapter 27. LTF - a logic teaching framework 402