Series: Studies in Logic and the Foundations of Mathematics 122
Publisher: Elsevier Science Ltd
Year: 1987
Language: English
Pages: ii-xiii, 1-308
Content:
Advisory Editorial Board
Page ii
Edited by
Page iii
Copyright Page
Page iv
Dedication
Page v
Preface
Page vii
List of Lectures
Pages xi-xii
Message Du Directeur General De L'organisation Des Nations Unies Pour L'education, La Science Et La Culture A L'occasion De La Reunion De L'association De Logique Symbolique. (Orsay, juillet 1985)
Page xiii
Amadou-Mahtar M'Bow
Jean Van Heijenoort (1912–1986) Original Research Article
Pages 1-7
Anita Burdman Feferman, Solomon Feferman
La Mouche Dans La Bouteille (En mГ©moire de Jean van Heijenoort, Institut Henri PoincarГ©, 14 mai 1986) Original Research Article
Pages 9-12
Jean-Yves Girard
J. v. H. (En mГ©moire de Jean van Heijenoort, Institut Henri PoincarГ©, 14 mai 1986) Original Research Article
Pages 13-16
Philippe de Rouilhan
Almost Strongly Minimal Totally Categorical Theories Original Research Article
Pages 17-31
Gisela Ahlbrandt
On Lascar Rank in Non-Multidimensional П‰-Stable Theories Original Research Article
Pages 33-51
Andreas Baudisch
“Geometrical” Stability Theory Original Research Article
Pages 53-66
Steven Buechler
Homogeneous Directed Graphs. The Imprimitive Case Original Research Article
Pages 67-88
Gregory L. Cherlin
Proofs of Partial Correctness for Iterative and Recursive Computations Original Research Article
Pages 89-110
Bruno Courcelle
SystГЁme et MГ©tasystГЁme Chez Russell Original Research Article
Pages 111-122
Jean van Heijenoort
Concepts MathГ©matiques et Informatiques FormalisГ©s dans le Calcul des Constructions Original Research Article
Pages 123-146
Thierry Coquand, GГ©rard Huet
Arithmetical Truth and Hidden Higher-Order Concepts Original Research Article
Pages 147-169
Daniel Isaacson
Some Proof-Theoretic Contributions to Theories of Sets Original Research Article
Pages 171-191
Gerhard Jaeger
Logic and Conceptual Relationships in Mathematics Original Research Article
Pages 193-211
Kenneth L. Manders
О 2-Models of Extensions of Kripke-Platek Set Theory Original Research Article
Pages 213-232
Peter Päppinghaus
Weakly Normal Groups Original Research Article
Pages 233-244
U. Hrushovski, A. Pillay
A Propos De Groupes Stables Original Research Article
Pages 245-265
Bruno Poizat
Logique Et GГ©omГ©trie AlgГ©brique RГ©elle Original Research Article
Pages 267-279
M.-F. Roy
Some Aspects of Categorical Semantics: Sheaves and Glueing Original Research Article
Pages 281-301
Andre Scedrov
CritГ©res D'IndГ©pendence D'Г‰quations Diophantiennes De Fragments De L'ArithmГ©tique Original Research Article
Pages 303-308
Ulf R. Schmerl
