प्राइम मॉडल

गणित में, और विशेष रूप से मॉडल सिद्धांत में, अभाज्य मॉडल एक ऐसा मॉडल (गणितीय तर्क) है जो यथासंभव सरल है। विशेष रूप से, मॉडल $$P$$ यदि यह किसी भी मॉडल में प्राथमिक एम्बेडिंग को स्वीकार करता है तो यह प्रमुख है $$M$$ जिसके लिए यह मौलिक रूप से समतुल्य है (अर्थात, किसी भी मॉडल में)। $$M$$ उसी पूर्ण सिद्धांत को संतुष्ट करना $$P$$).

प्रमुखता
संतृप्त मॉडल की धारणा के विपरीत, अभाज्य मॉडल लोवेनहेम-स्कोलेम प्रमेय द्वारा बहुत विशिष्ट कार्डिनैलिटी तक सीमित हैं। अगर $$L$$ कार्डिनलिटी के साथ प्रथम-क्रम की भाषा हैI $$\kappa$$ और $$T$$ एक संपूर्ण सिद्धांत खत्म हो गया है $$L,$$ तब यह प्रमेय एक मॉडल की गारंटी देता है। $$T$$ प्रमुखता का $$\max(\kappa,\aleph_0).$$ इसका कोई अभाज्य मॉडल नहीं है।  $$T$$ में बड़ी कार्डिनैलिटी हो सकती है क्योंकि कम से कम इसे ऐसे मॉडल में प्राथमिक रूप से एम्बेडेड होना चाहिए।इससे वास्तविक प्रमुखता में अभी भी बहुत अस्पष्टता बनी हुई है। गणनीय भाषाओं के मामले में, सभी अभाज्य मॉडल अधिकतम गणनीय रूप से अनंत हैं।

संतृप्त मॉडल के साथ संबंध
अभाज्य और संतृप्त मॉडल की परिभाषाओं के बीच द्वंद्व है। इस द्वंद्व के आधे हिस्से की चर्चा संतृप्त मॉडलों पर लेख में की गई है, जबकि अन्य आधे की चर्चा इस प्रकार है। जबकि एक संतृप्त मॉडल जितना संभव हो उतने प्रकार (मॉडल सिद्धांत) का एहसास करता है, एक प्रमुख मॉडल जितना संभव हो उतना कम एहसास करता है: यह एक परमाणु मॉडल (गणितीय तर्क) है, केवल उन प्रकारों को समझता है जिन्हें प्रकार प्रमेय को छोड़कर शेष को छोड़ा नहीं जा सकता है। इसकी व्याख्या इस अर्थ में की जा सकती है कि एक प्रमुख मॉडल किसी भी तामझाम को स्वीकार नहीं करता है: किसी मॉडल की कोई भी विशेषता जो वैकल्पिक है उसे इसमें नजरअंदाज कर दिया जाता है।

उदाहरण के लिए, मॉडल $$\langle {\mathbb N}, S\rangle$$ उत्तराधिकारी ऑपरेशन एस के साथ प्राकृतिक संख्या एन के सिद्धांत का एक प्रमुख मॉडल है; एक गैर-प्रधान मॉडल हो सकता है $$\langle {\mathbb N} + {\mathbb Z}, S\rangle ,$$ इसका मतलब है कि पूर्ण पूर्णांकों की एक प्रति है जो इस मॉडल के भीतर प्राकृतिक संख्याओं की मूल प्रति से अलग है; इस ऐड-ऑन में, अंकगणित हमेशा की तरह काम करता है। ये मॉडल मौलिक रूप से समतुल्य हैं; उनका सिद्धांत निम्नलिखित स्वयंसिद्धीकरण (मौखिक रूप से) को स्वीकार करता है: ये, वास्तव में, पीनो के दो स्वयंसिद्ध हैं, जबकि तीसरा प्रेरण द्वारा पहले से अनुसरण करता है (पीनो के स्वयंसिद्धों में से एक)। इस सिद्धांत के किसी भी मॉडल में प्राकृतिक संख्याओं के अलावा पूर्ण पूर्णांकों की असंयुक्त प्रतियां शामिल होती हैं, क्योंकि एक बार जब कोई 0 से एक उपमॉडल उत्पन्न करता है तो शेष सभी बिंदु पूर्ववर्ती और उत्तराधिकारी दोनों को अनिश्चित काल के लिए स्वीकार करते हैं। यह उस बात के प्रमाण की रूपरेखा है $$\langle {\mathbb N}, S\rangle$$ एक प्रमुख मॉडल है.
 * 1) एक अद्वितीय तत्व है जो किसी भी तत्व का परवर्ती नहीं है;
 * 2) किसी भी दो अलग-अलग तत्वों का उत्तराधिकारी एक जैसा नहीं होता;
 * 3) कोई भी तत्व Sn(x) = x को n > 0 से संतुष्ट नहीं करता है।