एनआईपी (मॉडल सिद्धांत)

मॉडल सिद्धांत में, गणितीय तर्क की शाखा, पूर्ण सिद्धांत T को 'NIP ' (स्वतंत्रता गुण नहीं) को संतुष्ट करने के लिए कहा जाता है, यदि इसका कोई भी सूत्र 'स्वतंत्रता गुण' को संतुष्ट नहीं करता है - अर्थात, यदि इसका कोई भी सूत्र इच्छित रूप से बड़े परिमित सेट के किसी भी उपसमुच्चय को नहीं चुन सकता है।

परिभाषा
मान लीजिए T पूर्ण L-सिद्धांत है। एल-सूत्र φ(x,y) को स्वतंत्रता गुण कहा जाता है (x, y के संबंध में) यदि T के प्रत्येक मॉडल M में, प्रत्येक n = {0,1,…,n − 1} < ω के लिए है टुपल्स का वर्ग b0,…,bn−1 जैसे कि n के 2n उपसमुच्चय X में से प्रत्येक के लिए M में टुपल a है जिसके लिए
 * $$M\models\varphi(\boldsymbol{a},\boldsymbol{b}_i)\quad\Leftrightarrow\quad i\in X.

$$ सिद्धांत T को स्वतंत्रता गुण कहा जाता है यदि किसी सूत्र में स्वतंत्रता गुण है। यदि किसी L-सूत्र में स्वतंत्रता गुण नहीं है तो T को आश्रित कहा जाता है, या एनआईपी को संतुष्ट करने के लिए कहा जाता है। एल-संरचना को स्वतंत्रता गुण (क्रमशः, एनआईपी) कहा जाता है यदि इसके सिद्धांत में स्वतंत्रता गुण (क्रमशः एनआईपी) होती है। यह शब्दावली बूलियन बीजगणित (संरचना) के अर्थ में स्वतंत्रता की धारणा से आती है।

वाप्निक-चेर्वोनेंकिस सिद्धांत के नामकरण में, हम कह सकते हैं कि X के उपसमुच्चय का संग्रह S सेट B ⊆ X को तोड़ देता है यदि B का प्रत्येक उपसमुच्चय कुछ S ∈ S के लिए B ∩ S के रूप का है। तब टी के पास स्वतंत्रता गुण है यदि T के कुछ मॉडल M में निश्चित वर्ग (Sa | a∈Mn) ⊆ Mk है जो Mk के इच्छित रूप से बड़े परिमित उपसमुच्चय को तोड़ देता है। दूसरे शब्दों में, (Sa | a∈Mn) में अनंत वापनिक-चेर्वोनेंकिस आयाम है।

उदाहरण
कोई भी पूर्ण सिद्धांत T जिसमें स्वतंत्रता गुण हो वह स्थिर सिद्धांत है।

अंकगणित में, संरचना (AND,+,·) है, सूत्र "y, x को विभाजित करता है" में स्वतंत्रता गुण है। ये सूत्र बिल्कुल सही है
 * $$(\exists k)(y\cdot k=x).$$

तो, किसी भी परिमित n के लिए हम n 1-टुपल्स bi को पहली n अभाज्य संख्याएँ मानते हैं, और फिर {0,1,…,n − 1}के किसी उपसमुच्चय X के लिए हम a को उन bi का गुणनफल मानते हैं। कि i, X में हूं। फिर bi और केवल अगर i ∈ X विभाजित करता है।

प्रत्येक ओ-न्यूनतम सिद्धांत एनआईपी को संतुष्ट करता है। इस तथ्य का तंत्रिका नेटवर्क सीखने में अप्रत्याशित अनुप्रयोग हुआ है।

एनआईपी सिद्धांतों के उदाहरणों में निम्नलिखित सभी संरचनाओं के सिद्धांत भी सम्मिलित हैं: कुल क्रम, ट्री(सेट सिद्धांत), एबेलियन रैखिक रूप से आदेशित समूह, बीजगणितीय रूप से संवर्त मूल्य क्षेत्र, और किसी भी p के लिए p-एडिक संख्या है