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''
Author(s): R. Ferro, C. Bonotto, S. Valentini and A. Zanardo (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 127
Publisher: North-Holland
Year: 1989
Language: English
Pages: ii-vi, 1-403
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 О 12-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
