Potential isomorphism
गणितीय तर्क में और विशेष रूप से मॉडल सिद्धांत में, एक संभावित समरूपता दो मॉडलों के बीच सीमित आंशिक समरूपता का एक संग्रह है जो कुछ समापन स्थितियों को संतुष्ट करता है। आंशिक समरूपता के अस्तित्व में प्राथमिक समतुल्यता शामिल है, हालांकि इसके विपरीत आम तौर पर सच नहीं है, लेकिन यह ω-संतृप्त मॉडल के लिए लागू होता है। परिभाषा दो मॉडलों M और N के बीच एक संभावित समरूपता M और N के बीच सीमित आंशिक समरूपता का एक गैर-खाली संग्रह F है जो निम्नलिखित दो गुणों को संतुष्ट करता हैः सभी सीमित आंशिक समरूपता Z ωF के लिए और सभी x ωM के लिए एक y ωN ऐसा है कि Z ω {(x, y)} ωF सभी सीमित आंशिक समरूपता Z ωF के लिए और सभी y ωN के लिए एक x ωM ऐसा है कि Z ω {(x, y)} ωF खेल की एरेनफ्यूच्ट-फ्रैस की एक सटीक विशेषता है और संभावित समरूपता को प्राथमिक समरूपता के एक अनुमान के रूप में देखा जा सकता है। एक अन्य धारणा जो संभावित समरूपता के समान है, वह है स्थानीय समरूपता। संदर्भ मॉडल सिद्धांत