Author(s): J. Stern
Series: Studies in Logic & the Foundations of Mathematics
Publisher: Elsevier Science Ltd
Year: 1982
Language: English
Pages: 380
Edited by......Page 1
Copyright page......Page 2
Dedication......Page 3
Preface......Page 4
Members of the Program Committee......Page 5
Jacques Herbrand......Page 6
Jacques Herbrand et la Theorie Des Nombres......Page 8
Un Jour de Juillet 1931, Dans Le Massif D'oisans …......Page 13
Computationally Improved Versions of Herbrand's Theorem......Page 15
Herbrand's Theorem and Proof-Theory......Page 33
Finiteness Theorems in Arithmetic: An Application of Herbrand's Theorem For Σ2 - Formulas......Page 43
L'oeuvre Logique de Jacques Herbrand et son Contexte Historique......Page 60
Case Distinctions are Necessary for Representing polynomials as Sums of Squares......Page 89
On Local and Non-Local Properties......Page 106
Iterating Admissibility in Proof Theory......Page 137
Introducing Homogeneous Trees......Page 147
Exponential Diophantine Representation of Recursively Enumerable Sets......Page 159
Effective Ramsey Theorems in the Projective Hierarchy......Page 178
Finite Homogeneous Simple Digraphs......Page 187
Borel Sets and the Analytical Hierarchy......Page 207
Stone Duality for First Order Logic......Page 214
Degrees of Models of True Arithmetic......Page 230
Fifty Years of Deduction Theorems......Page 240
Bounding Generalized Recursive Functions of Ordinals by Effective Functors; A Complement to the Girard Theorem......Page 248
A Superstable Theory with the Dimensional Order Property has Many Models......Page 277
Number Theory and the Bachmann/Howard Ordinal......Page 283
Relative Recursive Enumerability......Page 295
Recursive Dilators and Generalized Recursions......Page 321
Functors and Ordinal Notations III - Dilators and Gardens......Page 329
On the Consistency Strength of Projective UNI Formization......Page 361
