Logic Colloquium '82: Studies in Logic and Foundations of Mathematics Series (Studies in Logic & the Foundations of Mathematics)

Edited By G. Lolli, G. Longo, And A. Marcja. Includes Bibliographies. sdarticle Cover Page sdarticle_2 Copyright page sdarticle_3 Preface sdarticle_4 Chapter 1. Lectures on Nonstandard Models of Arithmetic sdarticle_5 Chapter 2. Strong Saturation and the Foundations of Stability Theory sdarticle_6 Chapter 3. Undecidability of Rational Function Fields in Nonzero Characteristic sdarticle_7 Chapter 4. Remarks on Tarski’s Problem Concerning (R, +, ., exp) sdarticle_8 Chapter 5. Sous Groupes d’Automorphismes d’une Structure SaturCe sdarticle_9 Chapter 6. Algebraic Logic and Diagonal Phenomena sdarticle_10 Chapter 7. On Logical Sentences in PA sdarticle_11 Chapter 8. Continuous Truth I (Non-Constructive Objects) sdarticle_12 Chapter 9. Heyting-Valued Semantics sdarticle_13 Chapter 10. Lambda Calculus and its Models sdarticle_14 Chapter 11. Extended Type Structures and Filter Lambda Models sdarticle_15 Chapter 12. Decision Problems in Predicate Logic sdarticle_16 Chapter 13. Model Theoretic Issues in Theoretical Computer Science, Part I: Relational Data Bases and Abstract Data Types sdarticle_17 Chapter 14. NF' and Craig's Interpolation Theorem