Potential isomorphism
ಗಣಿತದ ತರ್ಕಶಾಸ್ತ್ರದಲ್ಲಿ ಮತ್ತು ನಿರ್ದಿಷ್ಟವಾಗಿ ಮಾದರಿ ಸಿದ್ಧಾಂತದಲ್ಲಿ, ಸಂಭಾವ್ಯ ಐಸೊಮಾರ್ಫಿಸಮ್ ಎನ್ನುವುದು ಕೆಲವು ಮುಚ್ಚುವ ಪರಿಸ್ಥಿತಿಗಳನ್ನು ತೃಪ್ತಿಪಡಿಸುವ ಎರಡು ಮಾದರಿಗಳ ನಡುವಿನ ಸೀಮಿತ ಭಾಗಶಃ ಐಸೊಮಾರ್ಫಿಸಮ್ಗಳ ಸಂಗ್ರಹವಾಗಿದೆ. ಭಾಗಶಃ ಐಸೊಮಾರ್ಫಿಸಮ್ನ ಅಸ್ತಿತ್ವವು ಪ್ರಾಥಮಿಕ ಸಮಾನತೆಯನ್ನು ಒಳಗೊಂಡಿರುತ್ತದೆ, ಆದಾಗ್ಯೂ ವ್ಯತಿರಿಕ್ತವು ಸಾಮಾನ್ಯವಾಗಿ ನಿಜವಲ್ಲ, ಆದರೆ ಇದು ω-ಸ್ಯಾಚುರೇಟೆಡ್ ಮಾದರಿಗಳಿಗೆ ಅನ್ವಯಿಸುತ್ತದೆ. ವ್ಯಾಖ್ಯಾನ ಎಂ ಮತ್ತು ಎನ್ ಎರಡು ಮಾದರಿಗಳ ನಡುವಿನ ಸಂಭಾವ್ಯ ಐಸೊಮಾರ್ಫಿಸಮ್ ಎಂ ಮತ್ತು ಎನ್ ನಡುವಿನ ಸೀಮಿತ ಭಾಗಶಃ ಐಸೊಮಾರ್ಫಿಸಮ್ಗಳ ಖಾಲಿ-ಅಲ್ಲದ ಸಂಗ್ರಹ ಎಫ್ ಆಗಿದ್ದು, ಇದು ಈ ಕೆಳಗಿನ ಎರಡು ಗುಣಲಕ್ಷಣಗಳನ್ನು ತೃಪ್ತಿಪಡಿಸುತ್ತದೆಃ ಎಲ್ಲಾ ಸೀಮಿತ ಭಾಗಶಃ ಐಸೊಮಾರ್ಫಿಸಮ್ಗಳಿಗೆ Z ωF ಮತ್ತು ಎಲ್ಲಾ x ωM ಗೆ ಒಂದು y ωN ಇದೆ, ಅಂದರೆ Z ω {(x, y)} ωF ಎಲ್ಲಾ ಸೀಮಿತ ಭಾಗಶಃ ಐಸೊಮಾರ್ಫಿಸಮ್ಗಳಿಗೆ Z ωF ಮತ್ತು ಎಲ್ಲಾ y ωN ಗೆ x ωM ಇದೆ, ಎಹ್ರೆನ್ಫ್ಯೂಚ್ಟ್-ಫ್ರೈಸ್ ಆಟದ Z ω {(x, y)} ωFಎ ಕಲ್ಪನೆಯು ಪ್ರಾಥಮಿಕ ಸಮಾನತೆಯ ನಿಖರವಾದ ಗುಣಲಕ್ಷಣವಾಗಿದೆ ಮತ್ತು ಸಂಭಾವ್ಯ ಐಸೊಮಾರ್ಫಿಸಮ್ ಅನ್ನು ಅಂದಾಜು ಎಂದು ಕಾಣಬಹುದು. ಸಂಭಾವ್ಯ ಐಸೊಮಾರ್ಫಿಸಂಗೆ ಹೋಲುವ ಮತ್ತೊಂದು ಕಲ್ಪನೆಯೆಂದರೆ ಸ್ಥಳೀಯ ಐಸೊಮಾರ್ಫಿಸಮ್. ಉಲ್ಲೇಖಗಳ ಮಾದರಿ ಸಿದ್ಧಾಂತ