Title: Logic Colloquium '88 Author(s): R. Ferro Pages: 424 Publisher: Elsevier Publication date: 1990 Language: English Format: PDF ISBN-10: 0444874550 ISBN-13: Description: TABLE OF C 0 " T S
Preface
On the model theory of free metabelian groups of bounded exponent
A. Baudisch
D.0.P and n-tuples of models
E. Bouscaren
Algebra and model theory of chain fields: an overview
M. A. Diclanann
A Lefschetz principle for integral closures
A. Macintyre
The C*-algebras of three-valued logic
D. Mundici
Some problems and results in the theory of actually computable functions
W. Maass, T.A. Slaman
Kleene-spaces
D. Normann
On bounded time Turing reducibility on the recursive sets
T.A. Slaman
The ni-singleton conjecture: an introduction
S. Fnedman
The descriptive set theory of 0-ideals of compact sets
A.S. Kechris
Solving equation in lambda-calculus
C. Bohm, A. Piperno, E. Tronci
Comparative logics and abelian 1 -groups
E. Casari
Finitary inductively presented logics
S. Feferman
Geometry of interaction 1: interpretation of system F
J. Y. Girard
viii Table of Contents
Intuitionistic formal spaces and their neighbourhood
G. Sambin
Probabilistic models
R. Chuaqui
Logical partial functions and extension of equational logic
W. Craig
Panel discussion on: TRENDS IN LOGIC
Relation with computer science
M. Davis
Some remarks
S. Feferman
Trends in logic
A. Macintyre
Remarks concerning the comments of A. Macintyre
V. Ham&
Remarks on logic in mathematics and in computer science
G. Longo
Comments in the panel discussion on trends in logic
A. Ranta
Concluding remarks in the panel discussion
Y.N. Moschovakis
Panel discussion on: THE TEACHING OF LOGIC
The teaching of logic
C. Bernardi
Teaching the incompleteness theorem
M. Davis
LTF - a logic teaching framework
D. J. Watt
# Hardcover: 424 pages
# Publisher: Elsevier Science Publishing Company (May 1990)
# Language: English
# ISBN-10: 0444874550
# ISBN-13: 978-0444874559
Title: Logic Colloquium '88