Logic Colloquium 1985: Orsay, France

• A. Burdman Feferman, Solomon Feferman: Jean van Heijenoort (1912-1986). 1-8
• Jean-Yves Girard: La mouche dans la bouteille. 9-12
• Philippe 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-

Last update Sun May 19 23:08:05 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page