نموذج غير قياسي

في نظرية النماذج ، وهي فرع من فروع المنطق الرياضي ، يُعرف النموذج غير القياسي بأنه نموذج لنظرية ما لا يتطابق مع النموذج المقصود (أو النموذج القياسي). ^{[ 1 ]}

إذا كان النموذج المقصود لانهائيًا وكانت اللغة من الدرجة الأولى ، فإن نظريات لوفنهايم-سكوليم تضمن وجود نماذج غير قياسية. ويمكن اختيار هذه النماذج غير القياسية كامتدادات أولية أو بنى فرعية أولية للنموذج المقصود.

تُدرس النماذج غير القياسية في نظرية المجموعات ، والتحليل غير القياسي ، والنماذج غير القياسية للحساب .

• التفسير (المنطق)