Logic Colloquium '85: Proceedings of the Colloquium Held in Orsay, France, July 1985Equipe de logique mathématique (Paris, France) The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real algebraic geometry); and proof theory, applied to set theory and diophantine equations. The major novel aspect of the book is the important place accorded to the connections of mathematical logic with the neighboring disciplines: mathematical foundations of computer science, and philosophy of mathematics. |
Contents
La mouche dans la bouteille | 9 |
Almost strongly minimal totally categorical theories | 17 |
On Lascar rank in nonmultidimensional wstable theories | 35 |
Copyright | |
13 other sections not shown
Common terms and phrases
1-based 2+Id algebraic analysis automorphism axioms bien c'est categorical theories closure computation sequence conceptual settings construction contexte cosets countable d'une definable définissable definition denote deux dilator directed graphs elements ensembles equivalence relation être example Feferman fini finite first-order formal formula Frege functions générique géométrie geometry Gödel Goodstein's theorem homogeneous impredicative induction infinite interpretation intuitionistic Jean van Heijenoort KP(G language Lascar Lemma logique Math mathematical mathématiques model theory modular modulo Morley rank N-set n'est natural numbers nombre North-Holland notion number theory o)-system ordinal Paris Logic Group Peano Arithmetic peut Poizat polynômes pregeometry preuve problem proof theory proof-theoretic properties proposition propriétés provable qu'il qu'un recursive règle Russell semi-algébrique set theory sous-groupe spectre réel stable stable theory strictly minimal sets strongly minimal structure subgroup subsets superstable Theorem théorème totally categorical tout variables weakly normal wreath product