リンドストロームの定理

リンドストロームの定理は、後に抽象モデル理論として知られるようになったものの最もよく知られた結果である。^{[ 3 ]}その基本概念は抽象論理である。^{[ 4 ]}後に、より一般的な制度の概念が導入され、これは集合論的なモデルの概念から圏論的なモデルの概念へと発展した。^{[ 5 ]}リンドストロームは以前にも、リンドストローム量化子で拡張された一階述語論理を研究して同様の結果を得ていた。^{[ 6 ]}

注記

↑ハインツ＝ディーター・エビングハウスの意味で拡張論理： KJ バーワイズとS. フェファーマン編『モデル理論的論理』、1985年ISBNの一般的な枠組み 0-387-90936-243ページ
↑デール・ジャケット著『哲学論理学入門』（2005年、 ISBN） 1-4051-4575-7329ページ
↑陳忠昌、H. ジェローム・ケイスラー( 1990)。モデル理論。エルゼビア。p. 127。ISBN 978-0-444-88054-3。
↑ジャン＝イヴ・ベジオー(2005)。Logica universalis: 論理の一般理論に向けて。ビルクホイザー。 p. 20.ISBN 978-3-7643-7259-0。
↑ Dov M. Gabbay編 (1994).論理体系とは何か? . Clarendon Press. p. 380. ISBN 978-0-19-853859-2。
↑ Jouko Vääänänen、リンドストロムの定理

Per Lindström、「初等論理の拡張について」、Theoria 35、1969、1–11。doi : 10.1111/j.1755-2567.1969.tb00356.x
Johan van Benthem、「新しいモーダルリンドストローム定理」、Logica Universalis 1、2007、125–128。土井: 10.1007/s11787-006-0006-3
エビングハウス、ハインツ＝ディーター。フルム、ヨルグ。 Thomas、Wolfgang (1994)、Mathematical Logic (第 2 版)、ベルリン、ニューヨーク: Springer-Verlag、ISBN 978-0-387-94258-2
Sebastian Enqvist、「いくつかの正規様相論理に対する一般的なリンドストロームの定理」、Logica Universalis 7、2013年、233–264頁。doi : 10.1007 /s11787-013-0078-9
モンク、J.ドナルド（1976）、『数理論理学』、大学院数学テキスト、ベルリン、ニューヨーク：シュプリンガー・フェルラーク、ISBN 978-0-387-90170-1
ショーン・ヘドマン著『論理学入門：モデル理論、証明論、計算可能性、複雑性への入門』オックスフォード大学出版局、2004年、ISBN 0-19-852981-3セクション9.4