Chargement en cours…

The Birth of model theory : Lowenheim'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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Badesa, Calixto
Format: Électronique eBook
Langue:Inglés
Publié: Princeton : Princeton University Press, 2008.
Sujets:
Accès en ligne:Texto completo