Birth of model theory, the: löwenheim's theorem in the frame of the theory of relatives
Auteur :
Badesa, Calixto
Éditeur :
Princeton University Press
ISBN :
9780691058535
Date de publication :
25 janv. 2004
Dimensions :
23,5 x 15,2 cm
Poids :
510 g
Format :
B315
Langue :
Anglais
Pays d'origine :
USA
Lowenheim'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