Löwenheim's Theorem in the Frame of the Theory of Relatives
by
Calixto Badesa
Language: English
Release Date: January 10, 2009
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...