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 રમતની એરેનફ્યુચ્ટ-ફ્રાઇસની કલ્પના એ પ્રાથમિક સમાનતાનું ચોક્કસ લાક્ષણિકતા છે અને સંભવિત આઇસોમોર્ફિઝમને તેના અંદાજ તરીકે જોઈ શકાય છે. અન્ય એક ધારણા જે સંભવિત સમરૂપતા જેવી જ છે તે સ્થાનિક સમરૂપતા છે. સંદર્ભો મોડેલ સિદ્ધાંત