Logic Colloquium '84

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₀-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