نموذج ذري
باختصار: في نظرية النموذج، النموذج الذري هو حقل فرعي من المنطق الرياضي، وهو نموذج تُحدد فيه كل مجموعة بديهية (consistency set) بواسطة صيغة واحدة. تجد هنا «الأغراض».
المحتويات
بدايةً، في نظرية النموذج، النموذج الذري هو حقل فرعي من المنطق الرياضي، وهو نموذج تُحدد فيه كل مجموعة بديهية (consistency set) بواسطة صيغة واحدة. وتُسمّى هذه الأنواع بالأنواع الرئيسية "principal types"، بينما تُسمّى الصيغ التي تحددها بالصيغ الكاملة "complete formulas". ونتناول فيما يلي مزيدًا من التفاصيل.
الأغراض
علاوةً على ذلك، يمكن استخدام طريقة الذهاب والإياب (back-and-forth method) لإثبات أن أي نموذجين ذريين معدودين ما، إذا كانا متكافئين أوليًا، فإنهما يكونان متماثلين.
📝 هل في هذه المقالة خطأ؟
إذا وجدت معلومة تحتاج تصحيحاً أو إضافة، أو أردت حذف المقالة، أرسل لنا طلباً وسنراجعه.
ما رأيك في هذه المقالة؟