Non-standard model
મોડેલ થિયરીમાં, ગાણિતિક તર્કની અંદરની એક શાખા, બિન-માનક મોડેલ એ સિદ્ધાંતનું એક મોડેલ છે જે ઇચ્છિત મોડેલ (અથવા પ્રમાણભૂત મોડેલ) માટે આઇસોમોર્ફિક નથી. અસ્તિત્વ જો ઇચ્છિત મોડેલ અનંત હોય અને ભાષા પ્રથમ ક્રમની હોય, તો લોવેનહેમ-સ્કોલેમ પ્રમેયો બિન-માનક મોડેલોના અસ્તિત્વની બાંયધરી આપે છે. બિન-માનક મોડેલોને ઇચ્છિત મોડેલના પ્રાથમિક વિસ્તરણ અથવા પ્રાથમિક સબસ્ટ્રક્ચર્સ તરીકે પસંદ કરી શકાય છે. મહત્વ બિન-માનક નમૂનાઓનો અભ્યાસ સમૂહ સિદ્ધાંત, બિન-માનક વિશ્લેષણ અને અંકગણિતના બિન-માનક નમૂનાઓમાં કરવામાં આવે છે. અર્થઘટન (તર્ક) સંદર્ભો મોડેલ સિદ્ધાંત પણ જુઓ.