Author(s): J. Stern (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 107
Publisher: Elsevier Science Ltd
Year: 1982
Language: English
Pages: 0
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
