نموذج ذري

في نظرية النموذج، النموذج الذري هو حقل فرعي من المنطق الرياضي، وهو نموذج يتم فيه تحديد النوع الكامل لكل مجموعة بديهية بواسطة صيغة واحدة. تسمى هذه الأنواع بالأنواع الرئيسية "principal types"، وتسمى الصيغ التي تحددها بالصيغ الكاملة "complete formulas".^[1]

الأغراض

يمكن استخدام طريقة ذهابًا وإيابًا لإظهار أن أي نموذجين ذريين معدودين لنظرية متكافئتين بشكل أولي هما متماثلان.^[2]

هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. فضلًا شارك في تحريرها.

المراجع

^ Chang، Chen Chung؛ Keisler، H. Jerome (1990). Model theory. Studies in logic and the foundations of mathematics (ط. 3rd ed). Amsterdam New York New York, NY, USA: North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. ISBN:978-0-444-88054-3. {{استشهاد بكتاب}}: |طبعة= يحتوي على نص زائد (مساعدة)
^ Hodges، Wilfrid (2003). A shorter model theory (ط. Transferred to digital print). Cambridge: Cambridge Univ. Press. ISBN:978-0-521-58713-6.

[1] Chang، Chen Chung؛ Keisler، H. Jerome (1990). Model theory. Studies in logic and the foundations of mathematics (ط. 3rd ed). Amsterdam New York New York, NY, USA: North-Holland Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. ISBN:978-0-444-88054-3. {{استشهاد بكتاب}}: |طبعة= يحتوي على نص زائد (مساعدة)

[2] Hodges، Wilfrid (2003). A shorter model theory (ط. Transferred to digital print). Cambridge: Cambridge Univ. Press. ISBN:978-0-521-58713-6.

[1]

[2]