The Löwenheim-Skolem Theorem, Theories of Quantification, and Proof Theory

@inproceedings{Anellis2008TheLT,
  title={The L{\"o}wenheim-Skolem Theorem, Theories of Quantification, and Proof Theory},
  author={I. Anellis},
  year={2008}
}
Warren Goldfarb (1971, p. 17) wrote that “Herbrand’s work had an immediate impact on the Hilbert school,” and quotes Paul Bernays (Hilbert and Bernays, 1934, 1939, vol. 1, “Foreword”) to the effect that “the appearance of the works of Herbrand and Godel have altered proof theory.” We are concerned here to explore the role which Herbrand’s work had in developing the discipline of proof theory. More specifically, we are interested in formulating a theory about the impact which questions raised by… Expand
12 Citations
HERBRAND’s Fundamental Theorem in the Eyes of JEAN VAN HEIJENOORT
  • 8
Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining
  • 3
  • PDF
Lectures on Jacques Herbrand as a Logician
  • 5
  • PDF
Historical Development of Modern Logic
  • 15
Jean van Heijenoort’s Contributions to Proof Theory and Its History
  • I. Anellis
  • Philosophy, Computer Science
  • Logica Universalis
  • 2012
  • 5
Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective
  • I. Anellis
  • Philosophy, Computer Science
  • Logica Universalis
  • 2012
  • 1
...
1
2
...

References

SHOWING 1-10 OF 27 REFERENCES
Herbrand's Theorem and Proof-Theory
  • 5
Hauptsatz for Higher Order Logic
  • D. Prawitz
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1968
  • 94
Ideas and Results in Proof Theory
  • 577
A Survey of Proof Theory II
  • 77
A Proof Procedure for Quantification Theory
  • W. Quine
  • Computer Science
  • J. Symb. Log.
  • 1955
  • 38
Logic in the Twenties: The Nature of the Quantifier
  • 221
Set-Theoretic Semantics
  • 21
...
1
2
3
...