Cargando…

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...

Descripción completa

Detalles Bibliográficos
Autor principal: Badesa, Calixto
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

MARC

LEADER 00000cam a22000004a 4500
001 musev2_29898
003 MdBmJHUP
005 20230905043150.0
006 m o d
007 cr||||||||nn|n
008 110205s2008 nju o 00 0 eng d
020 |a 9781400826186 
020 |z 9780691058535 
040 |a MdBmJHUP  |c MdBmJHUP 
100 1 |a Badesa, Calixto. 
245 1 4 |a The Birth of Model Theory :   |b Löwenheim's Theorem in the Frame of the Theory of Relatives 
264 1 |a Princeton :  |b Princeton University Press,  |c 2008. 
264 3 |a Baltimore, Md. :  |b Project MUSE,   |c 0000 
264 4 |c ©2008. 
300 |a 1 online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
505 0 |a 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. 
520 |a 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 theorems are well understood, this is not the case with Löwenheim's theorem. For example, the very result that scholars attribute to Löwenheim today is not the one that Skolem--a logician raised in the algebraic tradition, like Löwenheim--appears to have attributed to him. In The Birth of Model Theory, Cali. 
588 |a Description based on print version record. 
600 1 7 |a Löwenheim, Leopold,  |d 1878-1957  |2 fast  |0 (OCoLC)fst00505157 
600 1 0 |a Löwenheim, Leopold,  |d 1878-1957. 
650 7 |a Model theory.  |2 fast  |0 (OCoLC)fst01024368 
650 7 |a Logic, Symbolic and mathematical.  |2 fast  |0 (OCoLC)fst01002068 
650 7 |a MATHEMATICS  |x General.  |2 bisacsh 
650 6 |a Theorie des modeles. 
650 6 |a Logique symbolique et mathematique. 
650 0 |a Model theory. 
650 0 |a Logic, Symbolic and mathematical. 
655 7 |a Electronic books.   |2 local 
710 2 |a Project Muse.  |e distributor 
830 0 |a Book collections on Project MUSE. 
856 4 0 |z Texto completo  |u https://projectmuse.uam.elogim.com/book/29898/ 
945 |a Project MUSE - Custom Collection