Proceedings of the Herbrand Symposium

Content: 
Edited by
Page iii

Copyright page
Page iv

Dedication
Page v

Preface
Page vii
J. Stern

Members of the Program Committee
Page viii

Jacques Herbrand Original Research Article
Pages 1-2
C. Chevalley

Jacques Herbrand et la Theorie Des Nombres Original Research Article
Pages 3-7
J. DieudonnГ©

Un Jour de Juillet 1931, Dans Le Massif D'oisans … Original Research Article
Pages 9-10
A. Guinier

Computationally Improved Versions of Herbrand's Theorem Original Research Article
Pages 11-28
Wolfgang Bibel

Herbrand's Theorem and Proof-Theory Original Research Article
Pages 29-38
Jean-Yves Girard

Finiteness Theorems in Arithmetic: An Application of Herbrand's Theorem For ОЈ2 - Formulas Original Research Article
Pages 39-55
G. Kreisel

L'oeuvre Logique de Jacques Herbrand et son Contexte Historique Original Research Article
Pages 57-85
Jean van Heijenoort

Case Distinctions are Necessary for Representing polynomials as Sums of Squares Original Research Article
Pages 87-103
Charles N. Delzell

On Local and Non-Local Properties Original Research Article
Pages 105-135
Haim Gaifman

Iterating Admissibility in Proof Theory Original Research Article
Pages 137-146
Gerhard Jäger

Introducing Homogeneous Trees Original Research Article
Pages 147-158
Herman R. Jervell

Exponential Diophantine Representation of Recursively Enumerable Sets Original Research Article
Pages 159-177
J.P. Jones, Ju. V. MatijaseviДЌ

Effective Ramsey Theorems in the Projective Hierarchy Original Research Article
Pages 179-187
Alexander S. Kechris

Finite Homogeneous Simple Digraphs Original Research Article
Pages 189-208
A.H. Lachlan

Borel Sets and the Analytical Hierarchy Original Research Article
Pages 209-215
A. Louveau

Stone Duality for First Order Logic Original Research Article
Pages 217-232
M. Makkai

Degrees of Models of True Arithmetic Original Research Article
Pages 233-242
David Marker

Fifty Years of Deduction Theorems Original Research Article
Pages 243-250
Jean Porte

Bounding Generalized Recursive Functions of Ordinals by Effective Functors; A Complement to the Girard Theorem Original Research Article
Pages 251-279
J.P. Ressayre

A Superstable Theory with the Dimensional Order Property has Many Models Original Research Article
Pages 281-286
JГјrgen Safee

Number Theory and the Bachmann/Howard Ordinal Original Research Article
Pages 287-298
Ulf R. Schmerl

Relative Recursive Enumerability Original Research Article
Pages 299-324
Robert I. Soare, Michael Stob

Recursive Dilators and Generalized Recursions Original Research Article
Pages 325-332
Jacques Van de Wiele

Functors and Ordinal Notations III - Dilators and Gardens Original Research Article
Pages 333-364
Jacqueline Vauzeilles

On the Consistency Strength of Projective UNI Formization Original Research Article
Pages 365-384
W. Hugh Woodin