Logic Colloquium '85: proceedings of the colloquium held in Orsay, France, July 1985, Volume 85
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.
15 pages matching intuitionistic in this book
Results 1-3 of 15
What people are saying - Write a review
We haven't found any reviews in the usual places.
Jean van Heijenoort 19121986
n2 models of extensions of Kr ipkePlatek set theory
14 other sections not shown
admissible sets algebraic algébrique analysis arithmetical truth automorphism axioms bien c'est categorical theories closure computation sequence concepts conceptual settings construction contexte coordinatization cosets countable d'une definable définissable definition denote deux directed graphs elements ensembles equivalence relation être example exists Feferman fini finite first-order formal system formula Frege functions geometry Godel Goodstein's theorem Heijenoort higher-order homogeneous directed graphs i-classes impredicative induction infinite interpretation intuitionistic isomorphic iterative Jaeger Jean van Heijenoort KP(G language of arithmetic Lascar Lemma locally modular logique Math mathematical mathématiques model theory Morley rank n'est natural numbers North-Holland notion o)-system partial correctness Peano Arithmetic peut Poizat predicative pregeometry preuve problème proof theory properties proposition propriétés provable pseudoplane qu'il qu'un rank recursive réel règle Russell set theory stable stable theory strictly minimal sets strongly minimal structure subgroup subsets superstable Theorem théorème tout variables weakly normal wreath product