Ebook: Logic Colloquium '86: Proceedings

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. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic.This volume contains the texts of ten of the invited lectures and six of the contributed papers. Read more... Front Cover; Studies in Logic and the Foundations of Mathematics, Volume 124; Copyright Page; Preface; CONTENTS; Chapter 1 Parameter-Free Induction, the Matiyasevic Theorem and BΣ]; Chapter 2 A Laver-Type Indestructability for Accessible Cardinals; Chapter 3 A Complete Inference System for Regular Processes with Silent Moves; Chapter 4 Cumulative Logic Programs and Modelling; Chapter 5 What is Negation in a System?; Chapter 6 Teaching Logic by Computer : a Hacker's Guide; Chapter 7 On the Role of O' in Recursion Theory; Chapter 8 The Origins of Forcing Chapter 9 How to obtain Interpolation for L K + KChapter 10 The Craig Interpolation Lemma for Certain Modal Logics; Chapter 11 Model Theory and Representation Type of Algebras; Chapter 12 The Knuth-Bendix Completion Procedure, the Growth Function, and Polycyclic Groups; Chapter 13 Introduction to the Theory of Logic Programming; Chapter 14 A Complete Class of Restricted Logic Programs; Chapter 15 Oscillations of Real Numbers; Chapter 16 Doing without Determinacy-Aspects of Inner Models