Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages
Author(s): H.-D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar and M. Rodriquez Artalejo (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 129
Publisher: North-Holland
Year: 1989
Language: English
Pages: iii-vii, 1-375
Content:
Edited by
Page iii
Copyright page
Page iv
Model Theory of Henselian Valued Fields Original Research Article
Pages v-vi
H.-D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar, M. Rodriquez Artalejo
Photograph of John R. Myhill(1923–1987)
Page vii
Model Theory of Henselian Valued Fields Original Research Article
Pages 1-10
Françoise Delon
On the Foundations of Mathematics in 1987 Original Research Article
Pages 11-25
Frank R. Drake
Logic and Natural Language Systems Original Research Article
Pages 27-39
Jens Erik Fenstad
Model Theory of Regular and Compact Spaces Original Research Article
Pages 41-52
Jörg Flum
Categoricity and Permutation Groups Original Research Article
Pages 53-72
Wilfrid Hodges
Unidimensional Theories: An introduction to geometric stability theory Original Research Article
Pages 73-103
Ehud Hrushovski
Unbounded Filters on П‰ Original Research Article
Pages 105-115
Jaime I. Ihoda
Type Theory and Explicit Mathematics Original Research Article
Pages 117-135
Gerhard Jäger
An Introduction to Extenders and Core Models for Extender Sequences Original Research Article
Pages 137-182
Peter Koepke
Logical Aspects of the Axiomatic Method: on their Significance in (Traditional) Foundations and in Some (Now) Common or Garden Varieties of Mathematics Original Research Article
Pages 183-217
G. Kreisel, Salzburg
On the use of Diagonally Nonrecursive Functions Original Research Article
Pages 219-239
Antonin KuДЌera
Some Aspects of Impredicativity: Notes on Weyl's philosophy of Mathematics and on todays Type Theory Original Research Article
Pages 241-274
Giuseppe Longo
General Logics Original Research Article
Pages 275-329
JosГ© Meseguer
Semantic Parallels in Natural Language and Computation Original Research Article
Pages 331-375
Johan van Benthem
