Potential isomorphism
ریاضیاتی منطق میں اور خاص طور پر ماڈل تھیوری میں، پوٹینشل آئسومورفزم دو ماڈلز کے درمیان محدود جزوی آئسومورفزم کا مجموعہ ہے جو کچھ بندش کے حالات کو پورا کرتا ہے۔ جزوی آئسومورفزم کا وجود ابتدائی مساوات پر مشتمل ہے، تاہم اس کے برعکس عام طور پر درست نہیں ہے، لیکن یہ ω-سیچوریٹڈ ماڈلز کے لیے ہے۔ تعریف دو ماڈلز M اور N کے درمیان پوٹینشل آئسومورفزم M اور N کے درمیان محدود جزوی آئسومورفزم کا ایک غیر خالی مجموعہ F ہے جو مندرجہ ذیل دو خصوصیات کو پورا کرتا ہے: تمام محدود جزوی آئسومورفزم Z ωF کے لیے اور تمام x ωM کے لیے ایک y ωN ایسا ہے کہ تمام محدود جزوی آئسومورفزم Z ωF کے لیے Z ω {(x, y)} ωF اور تمام y ωN کے لیے ایک x ωM ایسا ہے کہ Z ω {(x, y)} ωF کا تصور ایہرنفیچٹ-فریسی گیم کی بنیادی مساوات اور پوٹینشل آئسومورفزم کی ایک عین مطابق خصوصیت ہے جس کے تخمینے کے طور پر دیکھا جا سکتا ہے۔ ایک اور تصور جو ممکنہ آئسومورفزم سے ملتا جلتا ہے وہ مقامی آئسومورفزم کا ہے۔ حوالہ جات ماڈل تھیوری