Model theory is a general theory of interpretations of axiomatic set theory. It is the branch of logic studying mathematical structures by considering first-order sentences which are true of those structures and the sets which are definable in those structures by first-order formulas (Marker 1996).

Mathematical structures obeying axioms in a system are called "models" of the system. The usual axioms of analysis are second order and are known to have the real numbers as their unique model. Weakening the axioms to include only the first-order ones leads to a new type of model in what is called nonstandard analysis.

REFERENCES:

Doets, K. Basic Model Theory. New York: Cambridge University Press, 1996.

Hodges, W. A Shorter Model Theory. New York: Cambridge University Press, 1997.

Manzano, M. Model Theory. Oxford, England: Oxford University Press, 1999.

Marker, D. "Model Theory and Exponentiation." Not. Amer. Math. Soc. 43, 753-759, 1996.

Stewart, I. "Non-Standard Analysis." In From Here to Infinity: A Guide to Today's Mathematics. Oxford, England: Oxford University Press, pp. 80-81, 1996.

اخر الاخبار

اخبار العتبة العباسية المقدسة

مكتب المتولي الشرعي للشؤون النسوية يناقش استعداداته لإقامة مهرجان روح النبوة الثامن وحفل تخرج الطالبات العاشر

الهيأة العليا لإحياء التراث تشارك بمؤتمر دولي عن السيد الميلاني (قدس سره) في إيران

وفد متحف الكفيل يطّلع على النفائس والوثائق التاريخية في متاحف العتبة الرضوية المقدسة

قسم الشؤون الطبية يواصل تنظيم ورش تدريبية لرفع كفاءة المنتسبين في الإسعافات الأولية

المزيد

الآخبار الصحية

خصوصا مع تقدم السن.. 6 سلوكيات يومية قد تدمّر صحتك

فاكهة خضراء.. علاج طبيعي فعّال للإمساك واضطرابات الهضم

روسيا تبدأ أولى التجارب السريرية للقاح واعد ضد السرطان

كنز غذائي على طبقك.. ماذا تفعل السبانخ بجسمك؟

المزيد

الآخبار التكنلوجية

رصد نوع نادر من القطط في تايلاند للمرة الأولى منذ عقود

روسيا تخطط لإقامة محطة نووية في القمر خلال العقد المقبل

كيف قاد إيلون ماسك حملة "غروك" لاختراق عرش الذكاء الاصطناعي

ألتمان: الذكاء الاصطناعي سيتجاوز البشر في 2026 !

المزيد