نظرية ليندستروم

في المنطق الرياضي ، تنص نظرية ليندستروم (المسماة على اسم عالم المنطق السويدي بير ليندستروم ، الذي نشرها عام 1969) على أن منطق الرتبة الأولى هو أقوى منطق ^{[ 1 ]} (يحقق شروطًا معينة، مثل الإغلاق تحت النفي الكلاسيكي ) يتمتع بخاصية التراص (القابل للعد) وخاصية لوفنهايم-سكوليم (التنازلية) . ^{[ 2 ]}

لعلّ نظرية ليندستروم هي أشهر نتائج ما عُرف لاحقًا بنظرية النموذج المجرد ، ^{[ 3 ]} والتي يقوم مفهومها الأساسي على المنطق المجرد ؛ ^{[ 4 ]} وقد طُرح لاحقًا المفهوم الأكثر عمومية للمؤسسة ، والذي ينتقل من مفهوم النموذج في نظرية المجموعات إلى مفهومه في نظرية الفئات . ^{[ 5 ]} وكان ليندستروم قد توصل سابقًا إلى نتيجة مماثلة في دراسة منطق الرتبة الأولى الموسّع بمُكمِّمات ليندستروم . ^{[ 6 ]}

تم توسيع نظرية ليندستروم لتشمل أنظمة منطقية أخرى متنوعة، ولا سيما المنطق الموجه بواسطة يوهان فان بنثام وسيباستيان إنكفيست .

• بير ليندستروم، "حول امتدادات المنطق الأولي"، ثيوريا 35، 1969، 1-11. doi : 10.1111/j.1755-2567.1969.tb00356.x
• يوهان فان بينثيم، “نظرية ليندستروم المشروطة الجديدة”، Logica Universalis 1، 2007، 125–128. دوى : 10.1007/s11787-006-0006-3
• إبنجهاوس، هاينز ديتر؛ فلوم، يورغ. توماس ، وولفغانغ (1994)، المنطق الرياضي (  الطبعة الثانية)، برلين، نيويورك: Springer-Verlag ، ISBN 978-0-387-94258-2
• سيباستيان إنكفيست، "نظرية ليندستروم العامة لبعض المنطق الموجه العادي"، لوجيكا يونيفرساليس 7، 2013، 233-264. doi : 10.1007/s11787-013-0078-9
• مونك، ج. دونالد (1976)، المنطق الرياضي ، نصوص الدراسات العليا في الرياضيات، برلين، نيويورك: سبرينغر-فيرلاغ ، ISBN 978-0-387-90170-1
• شون هيدمان، دورة تمهيدية في المنطق: مقدمة في نظرية النماذج، ونظرية البرهان، والحوسبة، والتعقيد ، مطبعة جامعة أكسفورد، 2004، رقم ISBN 0-19-852981-3القسم 9.4