The Birth of Model Theory : : Löwenheim's Theorem in the Frame of the Theory of Relatives /

The Birth of Model Theory : : Löwenheim's Theorem in the Frame of the Theory of Relatives / / Calixto Badesa.

Show other versions (1)

Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models. However, while the original proofs of other, comparably significant the...

Full description

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter Princeton University Press eBook-Package Backlist 2000-2013
VerfasserIn:
Badesa, Calixto,
Place / Publishing House:Princeton, NJ : : Princeton University Press, , [2009]
©2004
Year of Publication:2009
Edition:Course Book
Language:English
Online Access:
Physical Description:1 online resource (256 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • Frontmatter
  • Contents
  • Preface
  • Chapter 1. Algebra of Classes and Propositional Calculus
  • Chapter 2. The Theory of Relatives
  • Chapter 3. Changing the Order of Quantifiers
  • Chapter 4. The Löwenheim Normal Form
  • Chapter 5. Preliminaries to Löwenheim's Theorem
  • Chapter 6. Löwenheim's Theorem
  • Appendix. First-Order Logic with Fleeing Indices
  • References
  • Index

Similar Items