Logic Colloquium '85: Proceedings of the Colloquium Held in Orsay, France July 1985 (Studies in Logic and the Foundations of Mathematics, Vol 122) (Study in Logic & Mathematics)

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