Theorems of Lindström

The sets of Lindström (after the Swedish logician Per Lindström ) are two results of mathematical logic , especially the abstract model theory . They state that the first-order predicate logic cannot be expanded to a stronger logic without violating certain properties such as closure under Boolean operations of classical logic , the Löwenheim-Skolem theorem, or both the compactness theorem and a certain variant of the completeness theorem .

literature

Hans Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas: Introduction to mathematical logic . Spektrum Akademischer Verlag, Heidelberg 2007, ISBN 3-8274-1691-4 .
Shawn Hedman: A first course in logic: an introduction to model theory, proof theory, computability, and complexity . Oxford University Press, 2004, ISBN 0-19-852981-3
Peter G. Hinman: Fundamentals of Mathematical Logic . AK Peters, Wellesley 2005, ISBN 1-56881-262-0 .
J. Donald Monk: Mathematical Logic (= Graduate Texts in Mathematics ). Springer-Verlag , Berlin, New York 1976, ISBN 978-0-387-90170-1 .