Logic Colloquium 1985: Orsay, France

Logic Colloquium '85, Orsay, France. Elsevier 1987, ISBN 0-444-70211-3

@proceedings{DBLP:conf/logicColl/1985,
  title     = {Logic Colloquium '85, Orsay, France},
  booktitle = {Logic Colloquium},
  publisher = {Elsevier},
  year      = {1987},
  isbn      = {0-444-70211-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

A. Burdman Feferman, Solomon Feferman: Jean van Heijenoort (1912-1986). 1-8
Jean-Yves Girard: La mouche dans la bouteille. 9-12
Ph. de Rouilhan: Jean van Heijenoort. 13-16
G. Ahlbrandt: Almost strongly minimal totally categorial theories. 17-32
Andreas Baudisch: On Lascar rank in non-multidimensional omega-stable theories. 33-52
Steven Buechler: "Geometrical" stability theory. 53-66
Gregory L. Cherlin: Homogeneous directed graphs. The imprimitive case. 67-88
Bruno Courcelle: Proofs of partial correctness for iterative and recursive computations. 89-110
Jean van Heijenoort: Système et Métasystème chez Russell. 111-122
Thierry Coquand, Gérard P. Huet: Concepts mathématiques et informatiques formalisés dans le calcul des constructions. 123-146
D. Isaacson: Arithmetical truth and hidden higher-order concepts. 147-170
J. Jaeger: Some proof-theoretic contributions to theories of sets. 171-192
Kenneth L. Manders: Logic and conceptual relationships in mathematics. 193-212
Peter Päppinghaus: Pi₂-models of extensions of Kripke-Platek set theory. 213-232
U. Hrushovski, Anand Pillay: Weakly normal groups. 233-244
Bruno Poizat: A propos de groues stables. 245-266
Marie-Françoise Roy: Logique et géométrie algébrique réelle. 267-280
Andre Scedrov: Some aspects of categorial semantics: sheves and glueing. 281-302
Ulf R. Schmerl: Critères d'indépendence d'équations diophantiennes de fragments de l'alrithmétique. 303-