The Birth of Model Theory : Löwenheim's Theorem in the Frame of the Theory of Relatives
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 th...
Autor principal: | |
---|---|
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Princeton :
Princeton University Press,
2008.
|
Colección: | Book collections on Project MUSE.
|
Temas: | |
Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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 Loewenheim Normal Form; Chapter 5. Preliminaries to Loewenheim's Theorem; Chapter 6. Loewenheim's Theorem; Appendix. First-Order Logic with Fleeing Indices; A.1 Introduction; A.2 Syntax; A.3 Semantics; A.4 The Loewenheim normal form; A.5 Loewenheim's theorem; References; Index.