Logic colloquium '84 : proceedings of the colloquium; Manchester, (15th-24th) July 1984 : (European summer meeting of the Association for symbolic logic)

This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines. Content: Edited by Page iii Copyright page Page iv Dedication Page v Preface Pages vii-viii Jeff Paris, Alex Wilkie, George Wilmers Some Results on Open and Diophantine Induction Original Research Article Pages 1-20 Zofia Adamowicz Situations, Sets and the Axiom of Foundation Original Research Article Pages 21-36 Jon Barwise Ultrafilters on Definable Sets in Arithmetic Original Research Article Pages 37-58 P. Clote Tarski's Problem and Pfaffian Functions Original Research Article Pages 59-90 Lou van den Dries Situation Schemata and Systems of Logic Related to Situation Semantics Original Research Article Pages 91-104 Jens Erik Fenstad Effective Construction of Models Original Research Article Pages 105-119 Julia F. Knight Twenty Years of P-Adic Model Theory Original Research Article Pages 121-153 Angus Macintyre Malaise et Guerison Original Research Article Pages 155-163 Bruno Poizat On the length of proofs of finitistic consistency statements in first order theories Original Research Article Pages 165-196 Pavel PudlГЎgk On Categorical Theories Original Research Article Pages 197-206 JГјdgln Saffe Finite Homogeneous Rings of Odd Characteristic Original Research Article Pages 207-224 Dan Saracino, Carol Wood Substructure Lattices of Models of Peano Arithmetic Original Research Article Pages 225-243 James H. Schmerl Decidable Theories of Valuated Abelian Groups Original Research Article Pages 245-276 P.H. Schmitt Complete Universal Locally Finite Groups of Large Cardinality Original Research Article Pages 277-301 Simon Thomas p-H 0 -Categorical Structures Original Research Article Pages 303-327 Carlo Toffalori On Sentences Interpretrble in Systems of Arithmetic Original Research Article Pages 329-342 A.J. wilkie On the Model Theory of Exponential Fields (Survey) Original Research Article Pages 343-353 Helmut Wolter Bounded Arithmetic Formulas and Turing Machines of Constant Alternation Original Research Article Pages 355-377 Alan Woods Editors, J.b. Paris, A.j. Wilkie, G.m. Wilmers. Chiefly English, Some French. Includes Bibliographies.