A Guide to Classical and Modern Model Theory

از زمان تولد، نظریه مدل تعدادی روش و مفاهیم را توسعه داده است که ارتباط ذاتی خود را دارند، اما همچنین کاربردهای پربار و قابل توجهی در زمینه های مختلف ریاضیات ارائه می دهند. این یک منطقه تحقیقاتی پر جنب و جوش و حاصلخیز است که شایسته توجه دنیای ریاضی است.

این جلد:
- برای جوانان و ریاضیدانان ناآشنا با منطق به راحتی قابل دسترسی است.
-تصویر تاریخی مختصری از نظریه مدل ارائه می دهد.
- آخرین تحولات در منطقه را معرفی می کند.
- اثبات‌های عملی در مورد حذف کمیت‌کننده‌ها، حذف تصورات و سایر موارد مرتبط ارائه می‌کند.

راهنمای نظریه مدل کلاسیک و مدرن برای کارآموزان و نظریه پردازان حرفه ای مدل، ریاضیدانانی که در جبر و هندسه کار می کنند و جوانان با دانش اولیه منطق.

Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world.

This volume:
-is easily accessible to young people and mathematicians unfamiliar with logic;
-gives a terse historical picture of Model Theory;
-introduces the latest developments in the area;
-provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters.

A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.