Non-standard model
ಮಾದರಿ ಸಿದ್ಧಾಂತದಲ್ಲಿ, ಗಣಿತದ ತರ್ಕದೊಳಗಿನ ಒಂದು ವಿಭಾಗ, ಪ್ರಮಾಣಿತವಲ್ಲದ ಮಾದರಿಯು ಉದ್ದೇಶಿತ ಮಾದರಿಗೆ (ಅಥವಾ ಪ್ರಮಾಣಿತ ಮಾದರಿ) ಸಮರೂಪವಾಗಿರದ ಸಿದ್ಧಾಂತದ ಮಾದರಿಯಾಗಿದೆ. ಉದ್ದೇಶಿತ ಮಾದರಿಯು ಅನಂತವಾಗಿದ್ದರೆ ಮತ್ತು ಭಾಷೆಯು ಮೊದಲ ಕ್ರಮದಲ್ಲಿದ್ದರೆ, ಲೋವೆನ್ಹೀಮ್-ಸ್ಕೋಲೆಮ್ ಪ್ರಮೇಯಗಳು ಪ್ರಮಾಣಿತವಲ್ಲದ ಮಾದರಿಗಳ ಅಸ್ತಿತ್ವವನ್ನು ಖಾತರಿಪಡಿಸುತ್ತವೆ. ಪ್ರಮಾಣಿತವಲ್ಲದ ಮಾದರಿಗಳನ್ನು ಉದ್ದೇಶಿತ ಮಾದರಿಯ ಪ್ರಾಥಮಿಕ ವಿಸ್ತರಣೆಗಳು ಅಥವಾ ಪ್ರಾಥಮಿಕ ಸಬ್ಸ್ಟ್ರಕ್ಚರ್ಗಳಾಗಿ ಆಯ್ಕೆ ಮಾಡಬಹುದು. ಪ್ರಾಮುಖ್ಯತೆ ಪ್ರಮಾಣಿತವಲ್ಲದ ಮಾದರಿಗಳನ್ನು ಸೆಟ್ ಸಿದ್ಧಾಂತ, ಪ್ರಮಾಣಿತವಲ್ಲದ ವಿಶ್ಲೇಷಣೆ ಮತ್ತು ಅಂಕಗಣಿತದ ಪ್ರಮಾಣಿತವಲ್ಲದ ಮಾದರಿಗಳಲ್ಲಿ ಅಧ್ಯಯನ ಮಾಡಲಾಗುತ್ತದೆ. ವ್ಯಾಖ್ಯಾನ (ತರ್ಕ) ಉಲ್ಲೇಖಗಳ ಮಾದರಿ ಸಿದ್ಧಾಂತವನ್ನೂ ನೋಡಿ.