स्थिर सिद्धांत: Difference between revisions

From Vigyanwiki
No edit summary
 
(4 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{For|विभेदक समीकरण|स्थिर सिद्धांत}}
{{For|विभेदक समीकरण|स्थिर सिद्धांत}}
[[मॉडल सिद्धांत]] के गणितीय क्षेत्र में, [[सिद्धांत (गणितीय तर्क)]] को '''स्थिर''' कहा जाता है यदि यह अपनी सम्मिश्रता पर कुछ संयुक्त प्रतिबंधों को संतुष्ट करता है। स्थिर सिद्धांत मॉर्ले की श्रेणीबद्धता प्रमेय के प्रमाण में निहित हैं और [[सहारों शेलाह]] के [[वर्गीकरण सिद्धांत (मॉडल सिद्धांत)]] के हिस्से के रूप में बड़े पैमाने पर अध्ययन किया गया था, जिसने विरोधाभास दिखाया कि या तो किसी सिद्धांत के मॉडल उचित वर्गीकरण को स्वीकार करते हैं या मॉडल इतने अधिक हैं कि उचित वर्गीकरण की कोई उम्मीद नहीं है। इस  का पहला चरण यह दर्शा रहा था कि यदि कोई सिद्धांत स्थिर नहीं है तो उस योजना के मॉडल वर्गीकृत करने के लिए बहुत अधिक हैं।
[[मॉडल सिद्धांत]] के गणितीय क्षेत्र में, [[सिद्धांत (गणितीय तर्क)]] को '''स्थिर''' ('''स्टेबल''') कहा जाता है यदि यह अपनी सम्मिश्रता पर कुछ संयुक्त प्रतिबंधों को संतुष्ट करता है। स्थिर सिद्धांत ('''स्टेबल''' '''थ्योरी''') मॉर्ले की श्रेणीबद्धता प्रमेय के प्रमाण में निहित हैं और [[सहारों शेलाह]] के [[वर्गीकरण सिद्धांत (मॉडल सिद्धांत)]] के हिस्से के रूप में बड़े पैमाने पर अध्ययन किया गया था, जिसने विरोधाभास दिखाया कि या तो किसी सिद्धांत के मॉडल उचित वर्गीकरण को स्वीकार करते हैं या मॉडल इतने अधिक हैं कि उचित वर्गीकरण की कोई उम्मीद नहीं है। इस  का पहला चरण यह दर्शा रहा था कि यदि कोई सिद्धांत स्थिर नहीं है तो उस योजना के मॉडल वर्गीकृत करने के लिए बहुत अधिक हैं।


1970 से 1990 के दशक तक स्थिर सिद्धांत शुद्ध मॉडल सिद्धांत का गणनसंख्या विषय थे, इसलिए उनके अध्ययन ने आधुनिक मॉडल सिद्धांत को आकार दिया<ref>{{cite journal |last1=Baldwin |first1=John |title=The dividing line methodology: Model theory motivating set theory |journal=Theoria |date=2021 |volume=87 |issue=2 |page=1 |doi=10.1111/theo.12297 |s2cid=211239082 |url=http://homepages.math.uic.edu/~jbaldwin/pub/atheoriabibjan619.pdf}}</ref> और उनका विश्लेषण करने के लिए समृद्ध रूपरेखा और उपकरणों का समुच्चय मौजूद है। मॉडल सिद्धांत में गणनसंख्या दिशा "नवस्थिरता सिद्धांत" है, जो स्थिरता सिद्धांत की अवधारणाओं को [[सरल सिद्धांत|सरल]] और [[एनआईपी (मॉडल सिद्धांत)]] सिद्धांतों जैसे व्यापक संदर्भों में सामान्यीकृत करने का प्रयास करता है।
1970 से 1990 के दशक तक स्थिर सिद्धांत शुद्ध मॉडल सिद्धांत का गणनसंख्या विषय थे, इसलिए उनके अध्ययन ने आधुनिक मॉडल सिद्धांत को आकार दिया<ref>{{cite journal |last1=Baldwin |first1=John |title=The dividing line methodology: Model theory motivating set theory |journal=Theoria |date=2021 |volume=87 |issue=2 |page=1 |doi=10.1111/theo.12297 |s2cid=211239082 |url=http://homepages.math.uic.edu/~jbaldwin/pub/atheoriabibjan619.pdf}}</ref> और उनका विश्लेषण करने के लिए समृद्ध रूपरेखा और उपकरणों का समुच्चय सम्मिलित है। मॉडल सिद्धांत में गणनसंख्या दिशा "नवस्थिरता सिद्धांत" है, जो स्थिरता सिद्धांत की अवधारणाओं को [[सरल सिद्धांत|सरल]] और [[एनआईपी (मॉडल सिद्धांत)]] सिद्धांतों जैसे व्यापक संदर्भों में सामान्यीकृत करने का प्रयास करता है।


==प्रेरणा और इतिहास==
==प्रेरणा और इतिहास==
मॉडल सिद्धांत में सामान्य लक्ष्य अपने मॉडलों में (पैरामीटर) [[निश्चित सेट|निश्चित समुच्चय]] के [[बूलियन बीजगणित]] की सम्मिश्रता का विश्लेषण करके [[प्रथम-क्रम तर्क|प्रथम-क्रम]] सिद्धांत का अध्ययन करना है। कोई इन बूलियन बीजगणित के स्टोन द्वंद्व की सम्मिश्रता का समान रूप से विश्लेषण कर सकता है, जो [[प्रकार (मॉडल सिद्धांत)|टाइप (मॉडल सिद्धांत)]] समष्टि हैं। स्थिरता इस टाइप के समष्टि की गणनांक को सीमित करके उनकी सम्मिश्रता को सीमित करती है। चूंकि टाइप किसी सिद्धांत के मॉडल में तत्वों के संभावित व्यवहार का प्रतिनिधित्व करते हैं, इसलिए टाइप की संख्या सीमित करने से इन मॉडलों की सम्मिश्रता सीमित हो जाती है।<ref>{{cite web |last1=van den Dries |first1=Lou |title=मॉडल-सैद्धांतिक स्थिरता का परिचय|url=https://faculty.math.illinois.edu/~vddries/stable.pdf |access-date=9 January 2023 |at=Introduction |date=2005}}</ref>
मॉडल सिद्धांत में सामान्य लक्ष्य अपने मॉडलों में (मापदण्ड) [[निश्चित सेट|निश्चित समुच्चय]] के [[बूलियन बीजगणित]] की सम्मिश्रता का विश्लेषण करके [[प्रथम-क्रम तर्क|प्रथम-क्रम]] सिद्धांत का अध्ययन करना है। कोई इन बूलियन बीजगणित के स्टोन द्वंद्व की सम्मिश्रता का समान रूप से विश्लेषण कर सकता है, जो [[प्रकार (मॉडल सिद्धांत)|टाइप (मॉडल सिद्धांत)]] समष्टि हैं। स्थिरता इस टाइप के समष्टि की गणनांक को सीमित करके उनकी सम्मिश्रता को सीमित करती है। चूंकि टाइप किसी सिद्धांत के मॉडल में तत्वों के संभावित व्यवहार का प्रतिनिधित्व करते हैं, इसलिए टाइप की संख्या सीमित करने से इन मॉडलों की सम्मिश्रता सीमित हो जाती है।<ref>{{cite web |last1=van den Dries |first1=Lou |title=मॉडल-सैद्धांतिक स्थिरता का परिचय|url=https://faculty.math.illinois.edu/~vddries/stable.pdf |access-date=9 January 2023 |at=Introduction |date=2005}}</ref>


स्थिरता सिद्धांत की जड़ें माइकल डी. मॉर्ले के 1965 में स्पष्ट सिद्धांतों पर लोस के अनुमान के प्रमाण में हैं। इस प्रमाण में, मुख्य धारणा पूरी तरह से पारलौकिक सिद्धांत की थी, जिसे टाइप समष्टि की सांस्थितिक सम्मिश्रता को सीमित करके परिभाषित किया गया था। हालाँकि, मॉर्ले ने दिखाया कि (गणनीय सिद्धांतों के लिए) यह सांस्थितिक प्रतिबंध गणनांक प्रतिबंध के बराबर है, स्थिरता का दृढ़ रूप जिसे अब <math>\omega</math>-स्थिरता कहा जाता है, और उन्होंने इस तुल्यता का महत्वपूर्ण उपयोग किया। अनगिनत सिद्धांतों के लिए मॉर्ले की श्रेणीबद्धता प्रमेय को सामान्य बनाने के क्रम में, [[फ्रेडरिक रोबॉटम]] ने कुछ गणनसंख्या <math>\kappa</math> के लिए <math>\kappa</math>-स्थिर सिद्धांतों को पेश करके, <math>\omega</math> -स्थिरता को सामान्यीकृत किया, और अंत में शेला ने स्थिर सिद्धांतों को पेश किया।<ref name="Pillay">{{cite book |last1=Pillay |first1=Anand |title=स्थिरता सिद्धांत का एक परिचय|chapter=Preface|date=1983}}</ref>
स्थिरता सिद्धांत की जड़ें माइकल डी. मॉर्ले के 1965 में स्पष्ट सिद्धांतों पर लोस के अनुमान के प्रमाण में हैं। इस प्रमाण में, मुख्य धारणा पूरी तरह से पारलौकिक सिद्धांत की थी, जिसे टाइप समष्टि की सांस्थितिक सम्मिश्रता को सीमित करके परिभाषित किया गया था। चूंकि, मॉर्ले ने दिखाया कि (गणनीय सिद्धांतों के लिए) यह सांस्थितिक प्रतिबंध गणनांक प्रतिबंध के बराबर है, स्थिरता का दृढ़ रूप जिसे अब <math>\omega</math>-स्थिरता कहा जाता है, और उन्होंने इस तुल्यता का महत्वपूर्ण उपयोग किया था। अनगिनत सिद्धांतों के लिए मॉर्ले की श्रेणीबद्धता प्रमेय को सामान्य बनाने के क्रम में, [[फ्रेडरिक रोबॉटम]] ने कुछ गणनसंख्या <math>\kappa</math> के लिए <math>\kappa</math>-स्थिर सिद्धांतों को पेश करके, <math>\omega</math> -स्थिरता को सामान्यीकृत किया, और अंत में शेला ने स्थिर सिद्धांतों को पेश किया था।<ref name="Pillay">{{cite book |last1=Pillay |first1=Anand |title=स्थिरता सिद्धांत का एक परिचय|chapter=Preface|date=1983}}</ref>


शेला के वर्गीकरण सिद्धांत योजना के दौरान स्थिरता सिद्धांत को और अधिक विकसित किया गया था। इस योजना का मुख्य लक्ष्य द्वंद्व दिखाना था कि या तो प्रथम-क्रम सिद्धांत के मॉडल को गणनसंख्या-अपरिवर्तनीय के तरु का उपयोग करके समरूपता तक अच्छी तरह से वर्गीकृत किया जा सकता है (उदाहरण के लिए, उनके आयाम (सदिश समष्टि) द्वारा निश्चित [[फ़ील्ड (गणित)|क्षेत्र (गणित)]] पर [[वेक्टर रिक्त स्थान|सदिश रिक्त समष्टि]] का वर्गीकरण), या इतने जटिल हैं कि कोई उचित वर्गीकरण संभव नहीं है।<ref name="Baldwin">{{cite journal |last1=Baldwin |first1=John |title=The dividing line methodology: Model theory motivating set theory |journal=Theoria |date=2021 |volume=87 |issue=2 |doi=10.1111/theo.12297 |s2cid=211239082 |at=Section 1.1 |url=http://homepages.math.uic.edu/~jbaldwin/pub/atheoriabibjan619.pdf}}</ref> इस वर्गीकरण सिद्धांत के ठोस परिणामों में सिद्धांत के संभावित स्पेक्ट्रम फ़ंक्शंस पर प्रमेय थे, जिसमें <math>\kappa</math> के फलन के रूप में  गणनांक <math>\kappa</math> के मॉडलों की संख्या की गणना की गई थी।{{efn|One such result is Shelah's proof of [[Spectrum_of_a_theory#Early_results|Morley's conjecture]] for countable theories, stating that the number of models of cardinality <math>\kappa</math> is non-decreasing for uncountable <math>\kappa</math>.<ref name="Baldwin"/>}} शेला का दृष्टिकोण सिद्धांतों के लिए "विभाजन रेखाओं" की श्रृंखला की पहचान करना था। विभाजन रेखा सिद्धांत का ऐसा गुण है कि इसके और इसके निषेध दोनों के दृढ़ संरचनात्मक परिणाम होते हैं; एक को यह मानना ​​चाहिए कि सिद्धांत के मॉडल अव्यवस्थित हैं, जबकि दूसरे को सुनिश्चित संरचना सिद्धांत प्राप्त करना चाहिए। वर्गीकरण सिद्धांत योजना में स्थिरता पहली ऐसी विभाजन रेखा थी, और चूंकि इसकी विफलता किसी भी उचित वर्गीकरण को खारिज करने में दिखाई गई थी, इसलिए आगे के सभी कार्य सिद्धांत को स्थिर मान सकते थे। इस प्रकार अधिकांश वर्गीकरण सिद्धांत स्थिर सिद्धांतों और अतिस्थिर सिद्धांतों जैसे आगे की विभाजन रेखाओं द्वारा दिए गए स्थिर सिद्धांतों के विभिन्न उपसमूहों का विश्लेषण करने से संबंधित था।<ref name="Pillay" />
शेला के वर्गीकरण सिद्धांत योजना के दौरान स्थिरता सिद्धांत को और अधिक विकसित किया गया था। इस योजना का मुख्य लक्ष्य द्वंद्व दिखाना था कि या तो प्रथम-क्रम सिद्धांत के मॉडल को गणनसंख्या-अपरिवर्तनीय के तरु का उपयोग करके समरूपता तक अच्छी तरह से वर्गीकृत किया जा सकता है (उदाहरण के लिए, उनके आयाम (सदिश समष्टि) द्वारा निश्चित [[फ़ील्ड (गणित)|क्षेत्र (गणित)]] पर [[वेक्टर रिक्त स्थान|सदिश रिक्त समष्टि]] का वर्गीकरण), या इतने जटिल हैं कि कोई उचित वर्गीकरण संभव नहीं है।<ref name="Baldwin">{{cite journal |last1=Baldwin |first1=John |title=The dividing line methodology: Model theory motivating set theory |journal=Theoria |date=2021 |volume=87 |issue=2 |doi=10.1111/theo.12297 |s2cid=211239082 |at=Section 1.1 |url=http://homepages.math.uic.edu/~jbaldwin/pub/atheoriabibjan619.pdf}}</ref> इस वर्गीकरण सिद्धांत के ठोस परिणामों में सिद्धांत के संभावित स्पेक्ट्रम फलन पर प्रमेय थे, जिसमें <math>\kappa</math> के फलन के रूप में  गणनांक <math>\kappa</math> के मॉडलों की संख्या की गणना की गई थी।{{efn|One such result is Shelah's proof of [[Spectrum_of_a_theory#Early_results|Morley's conjecture]] for countable theories, stating that the number of models of cardinality <math>\kappa</math> is non-decreasing for uncountable <math>\kappa</math>.<ref name="Baldwin"/>}} शेला का दृष्टिकोण सिद्धांतों के लिए "विभाजन रेखाओं" की श्रृंखला की पहचान करना था। विभाजन रेखा सिद्धांत का ऐसा गुण है कि इसके और इसके निषेध दोनों के दृढ़ संरचनात्मक परिणाम होते हैं; एक को यह मानना ​​चाहिए कि सिद्धांत के मॉडल अव्यवस्थित हैं, जबकि दूसरे को सुनिश्चित संरचना सिद्धांत प्राप्त करना चाहिए। वर्गीकरण सिद्धांत योजना में स्थिरता पहली ऐसी विभाजन रेखा थी, और चूंकि इसकी विफलता किसी भी उचित वर्गीकरण को खारिज करने में दिखाई गई थी, इसलिए आगे के सभी कार्य सिद्धांत को स्थिर मान सकते थे। इस प्रकार अधिकांश वर्गीकरण सिद्धांत स्थिर सिद्धांतों और अतिस्थिर सिद्धांतों जैसे आगे की विभाजन रेखाओं द्वारा दिए गए स्थिर सिद्धांतों के विभिन्न उपसमूहों का विश्लेषण करने से संबंधित था।<ref name="Pillay" />


शेला द्वारा विकसित स्थिर सिद्धांतों की गणनसंख्या विशेषताओं में से एक यह है कि वे स्वतंत्रता की सामान्य धारणा को स्वीकार करते हैं जिसे [[ फोर्किंग विस्तार |फोर्किंग विस्तार]] स्वतंत्रता कहा जाता है, सदिश रिक्त समष्टि से [[रैखिक स्वतंत्रता]] और क्षेत्र सिद्धांत से [[बीजगणितीय स्वतंत्रता]] को सामान्यीकृत किया जाता है। यद्यपि गैर-फोर्किंग स्वतंत्रता मनमाने सिद्धांतों में समझ में आती है, और स्थिर सिद्धांतों से परे महत्वपूर्ण उपकरण बनी हुई है, इसमें स्थिर सिद्धांतों में विशेष रूप से उचित ज्यामितीय और संयोजक गुण हैं। रैखिक स्वतंत्रता की तरह, यह स्वतंत्र समुच्चय और स्थानीय आयामों की परिभाषा को इन स्वतंत्र समुच्चय के अधिकतम उदाहरणों की गणनांक के रूप में परिभाषित करने की अनुमति देता है, जो अतिरिक्त परिकल्पनाओं के तहत अच्छी तरह से परिभाषित हैं। ये स्थानीय आयाम तब समरूपता तक मॉडल को वर्गीकृत करने वाले गणनसंख्या-अपरिवर्तनीय को वृद्धि देते हैं।<ref name="Baldwin" />
शेला द्वारा विकसित स्थिर सिद्धांतों की गणनसंख्या विशेषताओं में से एक यह है कि वे स्वतंत्रता की सामान्य धारणा को स्वीकार करते हैं जिसे [[ फोर्किंग विस्तार |फोर्किंग विस्तार]] स्वतंत्रता कहा जाता है, सदिश रिक्त समष्टि से [[रैखिक स्वतंत्रता]] और क्षेत्र सिद्धांत से [[बीजगणितीय स्वतंत्रता]] को सामान्यीकृत किया जाता है। यद्यपि गैर-फोर्किंग स्वतंत्रता मनमाने सिद्धांतों में समझ में आती है, और स्थिर सिद्धांतों से परे महत्वपूर्ण उपकरण बनी हुई है, इसमें स्थिर सिद्धांतों में विशेष रूप से उचित ज्यामितीय और संयोजक गुण हैं। रैखिक स्वतंत्रता की तरह, यह स्वतंत्र समुच्चय और स्थानीय आयामों की परिभाषा को इन स्वतंत्र समुच्चय के अधिकतम उदाहरणों की गणनांक के रूप में परिभाषित करने की अनुमति देता है, जो अतिरिक्त परिकल्पनाओं के अनुसार अच्छी तरह से परिभाषित हैं। ये स्थानीय आयाम तब समरूपता तक मॉडल को वर्गीकृत करने वाले गणनसंख्या-अपरिवर्तनीय को वृद्धि देते हैं।<ref name="Baldwin" />
==परिभाषा और वैकल्पिक लक्षण==
==परिभाषा और वैकल्पिक लक्षण==
मान लीजिए कि ''T'' [[पूर्णता (तर्क)]] प्रथम-क्रम सिद्धांत है।
मान लीजिए कि ''T'' [[पूर्णता (तर्क)]] प्रथम-क्रम सिद्धांत है।


किसी दिए गए अनंत गणनसंख्या <math>\kappa</math> के लिए, ''T,'' <math>\kappa</math>-स्थिर है यदि ''T'' के मॉडल में गणनांक <math>\kappa</math> के प्रत्येक सेट ''A'' के लिए, ''A'' पर पूर्ण प्रकार के सेट ''S(A)'' में भी गणनांक <math>\kappa</math> है। यह S(A) की सबसे छोटी गणनांक है, जबकि यह <math>2^\kappa</math>जितनी बड़ी हो सकती है। मामले <math>\kappa = \aleph_0</math> के लिए, यह कहना आम बात है कि T, <math>\omega</math>-स्थिर के बजाय <math>\aleph_0</math>-स्थिरहै।<ref>{{cite book |last1=Marker |first1=David |title=Model Theory: An Introduction |date=2006 |at=Definition 4.2.17}}</ref>
किसी दिए गए अनंत गणनसंख्या <math>\kappa</math> के लिए, ''T,'' <math>\kappa</math>-स्थिर है यदि ''T'' के मॉडल में गणनांक <math>\kappa</math> के प्रत्येक सेट ''A'' के लिए, ''A'' पर पूर्ण प्रकार के सेट ''S(A)'' में भी गणनांक <math>\kappa</math> है। यह ''S(A)'' की सबसे छोटी गणनांक है, जबकि यह <math>2^\kappa</math>जितनी बड़ी हो सकती है। मामले <math>\kappa = \aleph_0</math> के लिए, यह कहना आम बात है कि T, <math>\omega</math>-स्थिर के अतिरिक्त <math>\aleph_0</math>-स्थिर है।<ref>{{cite book |last1=Marker |first1=David |title=Model Theory: An Introduction |date=2006 |at=Definition 4.2.17}}</ref>


यदि ''T'' '''स्थिर''' है <math>\kappa</math> कुछ अनंत गणनसंख्या के लिए <math>\kappa</math>-स्थिरहै।<ref>{{cite book |last1=Marker |first1=David |title=Model Theory: An Introduction |date=2006 |at=Definition 5.3.1}}</ref>
यदि ''T'' '''स्थिर''' है <math>\kappa</math> कुछ अनंत गणनसंख्या के लिए <math>\kappa</math>-स्थिर है।<ref>{{cite book |last1=Marker |first1=David |title=Model Theory: An Introduction |date=2006 |at=Definition 5.3.1}}</ref>


कार्डिनलों <math>\kappa</math>  पर प्रतिबंध जिसके लिए सिद्धांत एक साथ हो सकता है <math>\kappa</math>-स्थिरता को [[स्थिरता स्पेक्ट्रम]] द्वारा वर्णित किया गया है,<ref>{{cite book |last1=Tent |first1=Katrin |last2=Ziegler |first2=Martin |title=मॉडल थ्योरी में एक पाठ्यक्रम|date=2012 |at=Theorem 8.6.5}}</ref> जो अतिस्थिर सिद्धांतों के सम-संयमी उपसमुच्चय को अलग करता है।
गणनसंख्या <math>\kappa</math>  पर प्रतिबंध जिसके लिए सिद्धांत एक साथ हो सकता है <math>\kappa</math>-स्थिरता को [[स्थिरता स्पेक्ट्रम]] द्वारा वर्णित किया गया है,<ref>{{cite book |last1=Tent |first1=Katrin |last2=Ziegler |first2=Martin |title=मॉडल थ्योरी में एक पाठ्यक्रम|date=2012 |at=Theorem 8.6.5}}</ref> जो अतिस्थिर सिद्धांतों के सम-संयमी उपसमुच्चय को अलग करता है।


स्थिर सिद्धांतों की सामान्य वैकल्पिक परिभाषा यह है कि उनके पास ''क्रम गुण'' नहीं है। यदि कोई सूत्र है तो सिद्धांत में क्रम गुण होता है <math>\phi(\bar x, \bar y)</math> और टुपल्स <math>A= (\bar a_i: i \in \mathbb N)</math>,<math>B= (\bar b_j: j \in \mathbb N)</math> के दो अनंत अनुक्रम होते हैं, जैसे कि ''M'' में ऐसा है <math>\phi</math> पर अनंत आधे ग्राफ़ को परिभाषित करता है <math>A \times B</math>, अर्थात। <math>\phi(\bar a_i, \bar b_j)</math> ''M''<math>\iff i \leq j</math> में सत्य है।<ref>{{cite book |last1=Tent |first1=Katrin |last2=Ziegler |first2=Martin |title=मॉडल थ्योरी में एक पाठ्यक्रम|date=2012 |at=Definition 8.2.1}}</ref> यह सूत्र <math>\psi(\bar x, \bar y)</math> होने के बराबर है और टुपल्स का अनंत क्रम <math>A= (\bar a_i: i \in \mathbb N)</math> कुछ मॉडल ''M'' में <math>\psi</math> A ऐसा है पर अनंत [[रैखिक क्रम]] को परिभाषित करता है, अर्थात <math>\psi(\bar a_i, \bar a_j)</math> ''M''<math>\iff i \leq j</math> में सत्य है।<ref>{{cite book |last1=Tent |first1=Katrin |last2=Ziegler |first2=Martin |title=मॉडल थ्योरी में एक पाठ्यक्रम|date=2012 |at=Exercise 8.2.1}}</ref>{{efn|In work on Łoś's conjecture preceding Morley's proof, [[Andrzej Ehrenfeucht]] introduced a property slightly stronger than the order property, which Shelah later called property (E). This was another precursor of (uns)stable theories.<ref>{{cite conference |title=Categoricity of uncountable theories |last1=Shelah |first1=Saharon |date=1974 |book-title=Proceedings of the Tarski symposium |url=https://shelah.logic.at/files/203570/Sh-31.pdf}}</ref>}}{{efn|One benefit of the definition of stability via the order property is that it is more clearly set-theoretically [[Absoluteness (logic)|absolute]].<ref name="SEP">{{cite web |last1=Hodges |first1=Wilfrid |title=First-order Model Theory |url=https://plato.stanford.edu/entries/modeltheory-fo/ |website=Stanford Encyclopedia of Philosophy |at=Section 5.1 |access-date=9 January 2023}}</ref>}}
स्थिर सिद्धांतों की सामान्य वैकल्पिक परिभाषा यह है कि उनके पास ''क्रम गुण'' नहीं है। यदि कोई सूत्र है तो सिद्धांत में क्रम गुण होता है <math>\phi(\bar x, \bar y)</math> और टुपल्स <math>A= (\bar a_i: i \in \mathbb N)</math>,<math>B= (\bar b_j: j \in \mathbb N)</math> के दो अनंत अनुक्रम होते हैं, जैसे कि ''M'' में ऐसा है <math>\phi</math> पर अनंत आधे ग्राफ़ को परिभाषित करता है <math>A \times B</math>, अर्थात। <math>\phi(\bar a_i, \bar b_j)</math> ''M''<math>\iff i \leq j</math> में सत्य है।<ref>{{cite book |last1=Tent |first1=Katrin |last2=Ziegler |first2=Martin |title=मॉडल थ्योरी में एक पाठ्यक्रम|date=2012 |at=Definition 8.2.1}}</ref> यह सूत्र <math>\psi(\bar x, \bar y)</math> होने के बराबर है और टुपल्स का अनंत क्रम <math>A= (\bar a_i: i \in \mathbb N)</math> कुछ मॉडल ''M'' में <math>\psi</math> A ऐसा है पर अनंत [[रैखिक क्रम]] को परिभाषित करता है, अर्थात <math>\psi(\bar a_i, \bar a_j)</math> ''M''<math>\iff i \leq j</math> में सत्य है।<ref>{{cite book |last1=Tent |first1=Katrin |last2=Ziegler |first2=Martin |title=मॉडल थ्योरी में एक पाठ्यक्रम|date=2012 |at=Exercise 8.2.1}}</ref>{{efn|In work on Łoś's conjecture preceding Morley's proof, [[Andrzej Ehrenfeucht]] introduced a property slightly stronger than the order property, which Shelah later called property (E). This was another precursor of (uns)stable theories.<ref>{{cite conference |title=Categoricity of uncountable theories |last1=Shelah |first1=Saharon |date=1974 |book-title=Proceedings of the Tarski symposium |url=https://shelah.logic.at/files/203570/Sh-31.pdf}}</ref>}}{{efn|One benefit of the definition of stability via the order property is that it is more clearly set-theoretically [[Absoluteness (logic)|absolute]].<ref name="SEP">{{cite web |last1=Hodges |first1=Wilfrid |title=First-order Model Theory |url=https://plato.stanford.edu/entries/modeltheory-fo/ |website=Stanford Encyclopedia of Philosophy |at=Section 5.1 |access-date=9 January 2023}}</ref>}}
Line 25: Line 25:
स्थिरता की और भी कई विशेषताएँ हैं। मॉर्ले के पूरी तरह से प्रागनुभविक सिद्धांतों के साथ, स्थिरता की गणनांक प्रतिबंध [[कैंटर-बेंडिक्सन रैंक]] के संदर्भ में टाइप समष्टि की सांस्थितिक सम्मिश्रता को सीमित करने के बराबर हैं।<ref>{{cite web |last1=Casanovas |first1=Enrique |title=स्थिर और सरल सिद्धांत (व्याख्यान नोट्स)|at=Proposition 6.6 |url=http://www.ub.edu/modeltheory/documentos/stability.pdf |access-date=11 January 2023}}</ref> एक अन्य लक्षण वर्णन उन गुणों के माध्यम से है जो गैर-फोर्किंग स्वतंत्रता स्थिर सिद्धांतों में होती है, जैसे कि सममित होता है। यह इस अर्थ में स्थिरता की विशेषता है कि इनमें से कुछ गुणों को संतुष्ट करने वाले अमूर्त स्वतंत्रता संबंध वाला कोई भी सिद्धांत स्थिर होना चाहिए और स्वतंत्रता संबंध गैर-विभाजनकारी स्वतंत्रता होना चाहिए।<ref>{{cite book |last1=Tent |first1=Katrin |last2=Ziegler |first2=Martin |title=मॉडल थ्योरी में एक पाठ्यक्रम|date=2012 |at=Theorem 8.5.10}}</ref>
स्थिरता की और भी कई विशेषताएँ हैं। मॉर्ले के पूरी तरह से प्रागनुभविक सिद्धांतों के साथ, स्थिरता की गणनांक प्रतिबंध [[कैंटर-बेंडिक्सन रैंक]] के संदर्भ में टाइप समष्टि की सांस्थितिक सम्मिश्रता को सीमित करने के बराबर हैं।<ref>{{cite web |last1=Casanovas |first1=Enrique |title=स्थिर और सरल सिद्धांत (व्याख्यान नोट्स)|at=Proposition 6.6 |url=http://www.ub.edu/modeltheory/documentos/stability.pdf |access-date=11 January 2023}}</ref> एक अन्य लक्षण वर्णन उन गुणों के माध्यम से है जो गैर-फोर्किंग स्वतंत्रता स्थिर सिद्धांतों में होती है, जैसे कि सममित होता है। यह इस अर्थ में स्थिरता की विशेषता है कि इनमें से कुछ गुणों को संतुष्ट करने वाले अमूर्त स्वतंत्रता संबंध वाला कोई भी सिद्धांत स्थिर होना चाहिए और स्वतंत्रता संबंध गैर-विभाजनकारी स्वतंत्रता होना चाहिए।<ref>{{cite book |last1=Tent |first1=Katrin |last2=Ziegler |first2=Martin |title=मॉडल थ्योरी में एक पाठ्यक्रम|date=2012 |at=Theorem 8.5.10}}</ref>


अमूर्त स्वतंत्रता संबंध को छोड़कर, इनमें से किसी भी परिभाषा का उपयोग यह परिभाषित करने के लिए किया जा सकता है कि किसी दिए गए सिद्धांत ''T'' में एकल सूत्र के स्थिर होने का क्या मतलब है। तब ''T'' को स्थिर होने के रूप में परिभाषित किया जा सकता है यदि प्रत्येक सूत्र ''T'' में स्थिर है।<ref>{{cite book |last1=Tent |first1=Katrin |last2=Ziegler |first2=Martin |title=मॉडल थ्योरी में एक पाठ्यक्रम|date=2012 |at=Chapter 8.2}}</ref> स्थिर सूत्रों में परिणामों का स्थानीयकरण इन परिणामों को अस्थिर सिद्धांतों में स्थिर सूत्रों पर लागू करने की अनुमति देता है, और एकल सूत्रों के लिए यह स्थानीयकरण अक्सर स्थिर सिद्धांतों के मामले में भी उपयोगी होता है।<ref>{{cite book |last1=Baldwin |first1=John |title=स्थिरता सिद्धांत के मूल सिद्धांत|date=2017 |url=https://projecteuclid.org/ebooks/perspectives-in-logic/Fundamentals-of-Stability-Theory/toc/pl/1235414194 |at=Chapter 3.1}}</ref>
अमूर्त स्वतंत्रता संबंध को छोड़कर, इनमें से किसी भी परिभाषा का उपयोग यह परिभाषित करने के लिए किया जा सकता है कि किसी दिए गए सिद्धांत ''T'' में एकल सूत्र के स्थिर होने का क्या मतलब है। तब ''T'' को स्थिर होने के रूप में परिभाषित किया जा सकता है यदि प्रत्येक सूत्र ''T'' में स्थिर है।<ref>{{cite book |last1=Tent |first1=Katrin |last2=Ziegler |first2=Martin |title=मॉडल थ्योरी में एक पाठ्यक्रम|date=2012 |at=Chapter 8.2}}</ref> स्थिर सूत्रों में परिणामों का स्थानीयकरण इन परिणामों को अस्थिर सिद्धांतों में स्थिर सूत्रों पर लागू करने की अनुमति देता है, और एकल सूत्रों के लिए यह स्थानीयकरण अधिकांशतः स्थिर सिद्धांतों के मामले में भी उपयोगी होता है।<ref>{{cite book |last1=Baldwin |first1=John |title=स्थिरता सिद्धांत के मूल सिद्धांत|date=2017 |url=https://projecteuclid.org/ebooks/perspectives-in-logic/Fundamentals-of-Stability-Theory/toc/pl/1235414194 |at=Chapter 3.1}}</ref>
==उदाहरण और गैर-उदाहरण==
==उदाहरण और गैर-उदाहरण==
अस्थिर सिद्धांत के लिए, अंतिम बिंदुओं के बिना [[सघन क्रम]] के सिद्धांत ''डीएलओ'' पर विचार करें। तब [[परमाणु सूत्र]] क्रम संबंध में क्रम गुण होता है। वैकल्पिक रूप से, समुच्चय ''A'' पर अवास्तविक 1-टाइप, ''A'' के क्रम में कट (सामान्यीकृत [[डेडेकाइंड कट]], इस आवश्यकता के बिना कि दोनों समुच्चय गैर-खाली हों और निचले समुच्चय में कोई सबसे बड़ा तत्व नहीं है) के अनुरूप हैं,<ref>{{cite book |last1=Marker |first1=David |title=Model Theory: An Introduction |date=2006 |at=Example 4.1.12}}</ref> और किसी भी गणनांक <math>\kappa</math> साथ <math>2^\kappa</math>-कई कट के सघन क्रम मौजूद हैं।<ref>{{cite book |last1=Marker |first1=David |title=Model Theory: An Introduction |date=2006 |at=Lemma 5.2.12}}</ref>
अस्थिर सिद्धांत के लिए, अंतिम बिंदुओं के बिना [[सघन क्रम]] के सिद्धांत ''डीएलओ'' पर विचार करें। तब [[परमाणु सूत्र]] क्रम संबंध में क्रम गुण होता है। वैकल्पिक रूप से, समुच्चय ''A'' पर अवास्तविक 1-टाइप, ''A'' के क्रम में कट (सामान्यीकृत [[डेडेकाइंड कट]], इस आवश्यकता के बिना कि दोनों समुच्चय गैर-खाली हों और निचले समुच्चय में कोई सबसे बड़ा तत्व नहीं है) के अनुरूप हैं,<ref>{{cite book |last1=Marker |first1=David |title=Model Theory: An Introduction |date=2006 |at=Example 4.1.12}}</ref> और किसी भी गणनांक <math>\kappa</math> साथ <math>2^\kappa</math>-कई कट के सघन क्रम सम्मिलित हैं।<ref>{{cite book |last1=Marker |first1=David |title=Model Theory: An Introduction |date=2006 |at=Lemma 5.2.12}}</ref>


अन्य अस्थिर सिद्धांत [[राडो ग्राफ]] का सिद्धांत है, जहां परमाणु किनारे संबंध में क्रम गुण होती है।<ref>{{cite book |last1=Tent |first1=Katrin |last2=Ziegler |first2=Martin |title=मॉडल थ्योरी में एक पाठ्यक्रम|date=2012 |at=Exercise 8.2.3}}</ref>
अन्य अस्थिर सिद्धांत [[राडो ग्राफ]] का सिद्धांत है, जहां परमाणु किनारे संबंध में क्रम गुण होती है।<ref>{{cite book |last1=Tent |first1=Katrin |last2=Ziegler |first2=Martin |title=मॉडल थ्योरी में एक पाठ्यक्रम|date=2012 |at=Exercise 8.2.3}}</ref>
Line 38: Line 38:
*गैर-एबेलियन [[मुक्त समूह]] का सिद्धांत।<ref>{{cite journal |last1=Sela |first1=Zlil |title=Diophantine geometry over groups VIII: Stability |journal=Annals of Mathematics |date=2013 |volume=177 |issue=3 |pages=787–868 |doi=10.4007/annals.2013.177.3.1 |s2cid=119143329 |url=https://annals.math.princeton.edu/wp-content/uploads/annals-v177-n3-p01-s.pdf}}</ref>
*गैर-एबेलियन [[मुक्त समूह]] का सिद्धांत।<ref>{{cite journal |last1=Sela |first1=Zlil |title=Diophantine geometry over groups VIII: Stability |journal=Annals of Mathematics |date=2013 |volume=177 |issue=3 |pages=787–868 |doi=10.4007/annals.2013.177.3.1 |s2cid=119143329 |url=https://annals.math.princeton.edu/wp-content/uploads/annals-v177-n3-p01-s.pdf}}</ref>
*विशिष्टता ''p'' के [[विभेदित रूप से बंद क्षेत्र|विभेदित रूप से सवृत क्षेत्र]] का सिद्धांत। जब <math>p=0</math>, <math>\omega</math>-स्थिर सिद्धांत है।<ref>{{cite journal |last1=Shelah |first1=Saharon |authorlink1=Saharon Shelah |title=विभेदित रूप से बंद फ़ील्ड|journal=[[Israel Journal of Mathematics]] |date=1973 |volume=16 |issue=3 |pages=314–328 |doi=10.1007/BF02756711 | doi-access=free |s2cid=119906669 |url=https://shelah.logic.at/files/95979/39.pdf}}</ref>
*विशिष्टता ''p'' के [[विभेदित रूप से बंद क्षेत्र|विभेदित रूप से सवृत क्षेत्र]] का सिद्धांत। जब <math>p=0</math>, <math>\omega</math>-स्थिर सिद्धांत है।<ref>{{cite journal |last1=Shelah |first1=Saharon |authorlink1=Saharon Shelah |title=विभेदित रूप से बंद फ़ील्ड|journal=[[Israel Journal of Mathematics]] |date=1973 |volume=16 |issue=3 |pages=314–328 |doi=10.1007/BF02756711 | doi-access=free |s2cid=119906669 |url=https://shelah.logic.at/files/95979/39.pdf}}</ref>
*किसी भी सघन ग्राफ़ वर्ग का सिद्धांत।<ref>{{cite journal |last1=Adler |first1=Hans |last2=Adler |first2=Isolde |title=मॉडल सिद्धांत की शास्त्रीय धारणा के रूप में सघन ग्राफ वर्गों की व्याख्या करना|journal=[[European Journal of Combinatorics]] |date=2014 |volume=36|pages=322–330 |doi=10.1016/j.ejc.2013.06.048 | doi-access=free }}</ref> इनमें परिबद्ध विस्तार के साथ ग्राफ़ वर्ग शामिल हैं, जिसमें बदले में समतल ग्राफ़ और परिबद्ध डिग्री का कोई भी ग्राफ़ वर्ग शामिल है।
*किसी भी सघन ग्राफ़ वर्ग का सिद्धांत।<ref>{{cite journal |last1=Adler |first1=Hans |last2=Adler |first2=Isolde |title=मॉडल सिद्धांत की शास्त्रीय धारणा के रूप में सघन ग्राफ वर्गों की व्याख्या करना|journal=[[European Journal of Combinatorics]] |date=2014 |volume=36|pages=322–330 |doi=10.1016/j.ejc.2013.06.048 | doi-access=free }}</ref> इनमें परिबद्ध विस्तार के साथ ग्राफ़ वर्ग सम्मिलित हैं, जिसमें बदले में समतल ग्राफ़ और परिबद्ध डिग्री का कोई भी ग्राफ़ वर्ग सम्मिलित है।


==ज्यामितीय स्थिरता सिद्धांत==
==ज्यामितीय स्थिरता सिद्धांत==
ज्यामितीय स्थिरता सिद्धांत का संबंध मॉडलों में स्थानीय ज्यामिति के सूक्ष्म विश्लेषण और उनके गुण वैश्विक संरचना को कैसे प्रभावित करते हैं, से है। परिणामों की यह रेखा बाद में स्थिरता सिद्धांत के विभिन्न अनुप्रयोगों में महत्वपूर्ण थी, उदाहरण के लिए [[डायोफैंटाइन ज्यामिति]] के लिए। आमतौर पर इसका प्रारंभ 1970 के दशक के अंत में [[बोरिस ज़िल्बर]] के पूरी तरह से श्रेणीबद्ध सिद्धांतों के विश्लेषण से मानी जाती है, जो अंततः दिखाती है कि वे अंततः स्वयंसिद्ध नहीं हैं। पूरी तरह से श्रेणीबद्ध सिद्धांत के प्रत्येक मॉडल को दृढ़ता से न्यूनतम समुच्चय द्वारा नियंत्रित किया जाता है (यानी[[ प्रमुख मॉडल | गणनसंख्या मॉडल]] और न्यूनतम पर है), जो[[matroid|मैट्रोइड]] संरचना रखता है{{efn|The term "[[Pregeometry (model theory)|pregeometry]]" is often used instead of "matroid" in this setting.}} (मॉडल-सैद्धांतिक) बीजगणितीय सूत्र (मॉडल सिद्धांत) द्वारा निर्धारित किया जाता है जो स्वतंत्रता और आयाम की धारणा देता है। इस समायोजन में, ज्यामितीय स्थिरता सिद्धांत तब स्थानीय प्रश्न पूछता है कि दृढ़ता से न्यूनतम समुच्चय की संरचना के लिए क्या संभावनाएं हैं, और स्थानीय-से-वैश्विक प्रश्न पूछता है कि दृढ़ता से न्यूनतम समुच्चय पूरे मॉडल को कैसे नियंत्रित करता है।<ref>{{cite conference |last1=Pillay |first1=Anand |title=ज्यामितीय मॉडल सिद्धांत के पहलू|url=https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=04212872c51a082eea4ded5b73cc6567dc8feb5e|book-title=Logic Colloquium ’99 |date=2001}}</ref>
ज्यामितीय स्थिरता सिद्धांत का संबंध मॉडलों में स्थानीय ज्यामिति के सूक्ष्म विश्लेषण और उनके गुण वैश्विक संरचना को कैसे प्रभावित करते हैं, से है। परिणामों की यह रेखा बाद में स्थिरता सिद्धांत के विभिन्न अनुप्रयोगों में महत्वपूर्ण थी, उदाहरण के लिए [[डायोफैंटाइन ज्यामिति]] के लिए। सामान्यतः इसका प्रारंभ 1970 के दशक के अंत में [[बोरिस ज़िल्बर]] के पूरी तरह से श्रेणीबद्ध सिद्धांतों के विश्लेषण से मानी जाती है, जो अंततः दिखाती है कि वे अंततः स्वयंसिद्ध नहीं हैं। पूरी तरह से श्रेणीबद्ध सिद्धांत के प्रत्येक मॉडल को दृढ़ता से न्यूनतम समुच्चय द्वारा नियंत्रित किया जाता है (अर्थात[[ प्रमुख मॉडल | गणनसंख्या मॉडल]] और न्यूनतम पर है), जो [[matroid|मैट्रोइड]] संरचना रखता है{{efn|The term "[[Pregeometry (model theory)|pregeometry]]" is often used instead of "matroid" in this setting.}} (मॉडल-सैद्धांतिक) बीजगणितीय सूत्र (मॉडल सिद्धांत) द्वारा निर्धारित किया जाता है जो स्वतंत्रता और आयाम की धारणा देता है। इस समायोजन में, ज्यामितीय स्थिरता सिद्धांत तब स्थानीय प्रश्न पूछता है कि दृढ़ता से न्यूनतम समुच्चय की संरचना के लिए क्या संभावनाएं हैं, और स्थानीय-से-वैश्विक प्रश्न पूछता है कि दृढ़ता से न्यूनतम समुच्चय पूरे मॉडल को कैसे नियंत्रित करता है।<ref>{{cite conference |last1=Pillay |first1=Anand |title=ज्यामितीय मॉडल सिद्धांत के पहलू|url=https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=04212872c51a082eea4ded5b73cc6567dc8feb5e|book-title=Logic Colloquium ’99 |date=2001}}</ref>


दूसरे प्रश्न का उत्तर ज़िल्बर की सोपानी प्रमेय द्वारा दिया गया है, जिसमें दिखाया गया है कि पूरी तरह से श्रेणीबद्ध सिद्धांत का प्रत्येक मॉडल दृढ़ता से न्यूनतम समुच्चय पर "निश्चित [[फाइबर बंडल|फाइबर बंडल"]] जैसी किसी चीज़ के सीमित अनुक्रम द्वारा बनाया गया है।<ref>{{cite book |last1=Pillay |first1=Anand |title=ज्यामितीय स्थिरता सिद्धांत|date=1996 |page=343}}</ref> पहले प्रश्न के लिए, ज़िल्बर का त्रिभाजन अनुमान यह था कि दृढ़ता से न्यूनतम समुच्चय की ज्यामिति या तो बिना किसी संरचना वाले समुच्चय की तरह होनी चाहिए, या समुच्चय को अनिवार्य रूप से सदिश समष्टि की संरचना, या बीजगणितीय रूप से सवृत क्षेत्र की संरचना को ले जाना चाहिए, पहले दो मामलों को स्थानीय रूप से मॉड्यूलर कहा जाता है।<ref>{{cite web |last1=Scanlon |first1=Thomas |title=ज़िल्बर का ट्राइकोटॉमी अनुमान|url=https://math.berkeley.edu/~scanlon/papers/LC04/LC04/trichotomy.html |access-date=27 January 2023}}</ref> यह अनुमान दो केंद्रीय विषयों को दर्शाता है। सबसे पहले, वह (स्थानीय) प्रतिरूपकता बीजीय ज्यामिति की तरह संयोजनात्मक या रैखिक व्यवहार को गैर-रेखीय, ज्यामितीय सम्मिश्रता से विभाजित करने का कार्य करती है।<ref>{{cite conference |last1=Hrushovski |first1=Ehud |title=ज्यामितीय मॉडल सिद्धांत|date=1998 |url=https://eudml.org/doc/224669 |book-title=Proceedings of the International Congress of Mathematicians. Vol. 1}}</ref> दूसरा, जटिल संयोजक ज्यामिति आवश्यक रूप से बीजगणितीय वस्तुओं से आती है;<ref>{{cite web |last1=Scanlon |first1=Thomas |title=संयुक्त ज्यामितीय स्थिरता|url=https://math.berkeley.edu/~scanlon/papers/LC04/LC04/lec2.html |access-date=27 January 2023}}</ref>यह घटनाओं द्वारा परिभाषित अमूर्त [[प्रक्षेप्य तल]] के लिए समन्वय वलय खोजने की चिरसम्मत समस्या के समान है और आगे के उदाहरण समूह विन्यास प्रमेय हैं जो तत्वों के बीच कुछ संयोजन निर्भरता दिखाते हैं जो निश्चित समूह में गुणन से उत्पन्न होनी चाहिए।<ref>{{cite journal |last1=Ben-Yaacov |first1=Itaï |last2=Tomašić |first2=Ivan |last3=Wagner |first3=Frank |title=सरल सिद्धांतों और उसके अनुप्रयोगों में समूह विन्यास|journal=8 |date=2002 |volume=2 |url=http://math.univ-lyon1.fr/~begnac/articles/bsl.pdf}}</ref> [[प्रतिच्छेदन सिद्धांत]] जैसे न्यूनतम समुच्चय में बीजगणितीय ज्यामिति के कुछ हिस्सों के अनुरूप विकसित करके, ज़िल्बर ने अनगिनत श्रेणीबद्ध सिद्धांतों के लिए त्रिभाजन अनुमान का निर्बल रूप साबित किया।<ref>{{cite web |last1=Scanlon |first1=Thomas |title=ज़िल्बर की ट्राइकोटॉमी प्रमेय|url=https://math.berkeley.edu/~scanlon/papers/LC04/LC04/trichotomythm.html |access-date=27 January 2023}}</ref> हालाँकि [[एहुद ह्रुशोव्स्की]] ने पूर्ण अनुमान को गलत साबित करने के लिए ह्रुशोव्स्की निर्माण विकसित किया, बाद में इसे ज़ारिस्की ज्यामिति की समायोजन में अतिरिक्त परिकल्पनाओं के साथ साबित किया गया।<ref>{{cite web |last1=Scanlon |first1=Thomas |title=संयुक्त ज्यामितीय स्थिरता|url=https://math.berkeley.edu/~scanlon/papers/LC04/LC04/lec2.html |access-date=27 January 2023}}</ref>
दूसरे प्रश्न का उत्तर ज़िल्बर की सोपानी प्रमेय द्वारा दिया गया है, जिसमें दिखाया गया है कि पूरी तरह से श्रेणीबद्ध सिद्धांत का प्रत्येक मॉडल दृढ़ता से न्यूनतम समुच्चय पर "निश्चित [[फाइबर बंडल|फाइबर बंडल"]] जैसी किसी चीज़ के सीमित अनुक्रम द्वारा बनाया गया है।<ref>{{cite book |last1=Pillay |first1=Anand |title=ज्यामितीय स्थिरता सिद्धांत|date=1996 |page=343}}</ref> पहले प्रश्न के लिए, ज़िल्बर का त्रिभाजन अनुमान यह था कि दृढ़ता से न्यूनतम समुच्चय की ज्यामिति या तो बिना किसी संरचना वाले समुच्चय की तरह होनी चाहिए, या समुच्चय को अनिवार्य रूप से सदिश समष्टि की संरचना, या बीजगणितीय रूप से सवृत क्षेत्र की संरचना को ले जाना चाहिए, पहले दो स्थितियों को स्थानीय रूप से मॉड्यूलर कहा जाता है।<ref>{{cite web |last1=Scanlon |first1=Thomas |title=ज़िल्बर का ट्राइकोटॉमी अनुमान|url=https://math.berkeley.edu/~scanlon/papers/LC04/LC04/trichotomy.html |access-date=27 January 2023}}</ref> यह अनुमान दो केंद्रीय विषयों को दर्शाता है। सबसे पहले, वह (स्थानीय) प्रतिरूपकता बीजीय ज्यामिति की तरह संयोजनात्मक या रैखिक व्यवहार को गैर-रेखीय, ज्यामितीय सम्मिश्रता से विभाजित करने का कार्य करती है।<ref>{{cite conference |last1=Hrushovski |first1=Ehud |title=ज्यामितीय मॉडल सिद्धांत|date=1998 |url=https://eudml.org/doc/224669 |book-title=Proceedings of the International Congress of Mathematicians. Vol. 1}}</ref> दूसरा, जटिल संयोजक ज्यामिति आवश्यक रूप से बीजगणितीय वस्तुओं से आती है;<ref>{{cite web |last1=Scanlon |first1=Thomas |title=संयुक्त ज्यामितीय स्थिरता|url=https://math.berkeley.edu/~scanlon/papers/LC04/LC04/lec2.html |access-date=27 January 2023}}</ref>यह घटनाओं द्वारा परिभाषित अमूर्त [[प्रक्षेप्य तल]] के लिए समन्वय वलय खोजने की चिरसम्मत समस्या के समान है और आगे के उदाहरण समूह विन्यास प्रमेय हैं जो तत्वों के बीच कुछ संयोजन निर्भरता दिखाते हैं जो निश्चित समूह में गुणन से उत्पन्न होनी चाहिए।<ref>{{cite journal |last1=Ben-Yaacov |first1=Itaï |last2=Tomašić |first2=Ivan |last3=Wagner |first3=Frank |title=सरल सिद्धांतों और उसके अनुप्रयोगों में समूह विन्यास|journal=8 |date=2002 |volume=2 |url=http://math.univ-lyon1.fr/~begnac/articles/bsl.pdf}}</ref> [[प्रतिच्छेदन सिद्धांत]] जैसे न्यूनतम समुच्चय में बीजगणितीय ज्यामिति के कुछ हिस्सों के अनुरूप विकसित करके, ज़िल्बर ने अनगिनत श्रेणीबद्ध सिद्धांतों के लिए त्रिभाजन अनुमान का निर्बल रूप सिद्ध किया।<ref>{{cite web |last1=Scanlon |first1=Thomas |title=ज़िल्बर की ट्राइकोटॉमी प्रमेय|url=https://math.berkeley.edu/~scanlon/papers/LC04/LC04/trichotomythm.html |access-date=27 January 2023}}</ref> चूंकि [[एहुद ह्रुशोव्स्की]] ने पूर्ण अनुमान को गलत सिद्ध करने के लिए ह्रुशोव्स्की निर्माण विकसित किया, बाद में इसे ज़ारिस्की ज्यामिति की समायोजन में अतिरिक्त परिकल्पनाओं के साथ सिद्ध किया गया।<ref>{{cite web |last1=Scanlon |first1=Thomas |title=संयुक्त ज्यामितीय स्थिरता|url=https://math.berkeley.edu/~scanlon/papers/LC04/LC04/lec2.html |access-date=27 January 2023}}</ref>


शेला के वर्गीकरण योजना की धारणाएँ, जैसे कि नियमित टाइप, फोर्किंग और लंबकोणीयता, ने इन विचारों को अधिक व्यापकता तक ले जाने की अनुमति, विशेष रूप से अतिस्थिर सिद्धांतों में दी है। यहां, नियमित टाइप द्वारा परिभाषित समुच्चय दृढ़ता से न्यूनतम समुच्चय की भूमिका निभाते हैं, उनकी स्थानीय ज्यामिति बीजगणितीय निर्भरता के बजाय फोर्किंग निर्भरता द्वारा निर्धारित होती है। पूरी तरह से श्रेणीबद्ध सिद्धांत के एकल दृढ़ता से न्यूनतम समुच्चय नियंत्रण मॉडल के समष्टि पर, नियमित टाइप द्वारा परिभाषित कई ऐसी स्थानीय ज्यामिति हो सकती हैं, और लंबकोणीयता तब वर्णन करती है जब इन टाइप में कोई अन्तःक्रिया नहीं होती है।<ref>{{cite conference |last1=Pillay |first1=Anand |title=ज्यामितीय मॉडल सिद्धांत के पहलू|url=https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=04212872c51a082eea4ded5b73cc6567dc8feb5e|book-title=Logic Colloquium ’99 |date=2001}}</ref>
शेला के वर्गीकरण योजना की धारणाएँ, जैसे कि नियमित टाइप, फोर्किंग और लंबकोणीयता, ने इन विचारों को अधिक व्यापकता तक ले जाने की अनुमति, विशेष रूप से अतिस्थिर सिद्धांतों में दी है। यहां, नियमित टाइप द्वारा परिभाषित समुच्चय दृढ़ता से न्यूनतम समुच्चय की भूमिका निभाते हैं, उनकी स्थानीय ज्यामिति बीजगणितीय निर्भरता के अतिरिक्त फोर्किंग निर्भरता द्वारा निर्धारित होती है। पूरी तरह से श्रेणीबद्ध सिद्धांत के एकल दृढ़ता से न्यूनतम समुच्चय नियंत्रण मॉडल के समष्टि पर, नियमित टाइप द्वारा परिभाषित कई ऐसी स्थानीय ज्यामिति हो सकती हैं, और लंबकोणीयता तब वर्णन करती है जब इन टाइप में कोई अन्तःक्रिया नहीं होती है।<ref>{{cite conference |last1=Pillay |first1=Anand |title=ज्यामितीय मॉडल सिद्धांत के पहलू|url=https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=04212872c51a082eea4ded5b73cc6567dc8feb5e|book-title=Logic Colloquium ’99 |date=2001}}</ref>
==अनुप्रयोग==
==अनुप्रयोग==
जबकि स्थिर सिद्धांत मॉडल सिद्धांत में मौलिक हैं, यह खंड गणित के अन्य क्षेत्रों में स्थिर सिद्धांतों के अनुप्रयोगों को सूचीबद्ध करता है। इस सूची का लक्ष्य संपूर्णता नहीं है, बल्कि व्यापकता की भावना है।
जबकि स्थिर सिद्धांत मॉडल सिद्धांत में मौलिक हैं, यह खंड गणित के अन्य क्षेत्रों में स्थिर सिद्धांतों के अनुप्रयोगों को सूचीबद्ध करता है। इस सूची का लक्ष्य संपूर्णता नहीं है, बल्कि व्यापकता की भावना है।


*चूंकि विशेषता 0 के विभेदित रूप से सवृत क्षेत्रों का सिद्धांत <math>\omega</math>-स्थिर है, [[विभेदक बीजगणित|अवकल बीजगणित]] में स्थिरता सिद्धांत के कई अनुप्रयोग हैं। उदाहरण के लिए, ऐसे क्षेत्र के अवकल समापन (बीजगणितीय समापन का अनुरूप) के अस्तित्व और विशिष्टता को क्रमशः <math>\omega</math>-स्थिर सिद्धांत में प्राइम मॉडल पर सामान्य परिणामों का उपयोग करके [[लेनोर ब्लम]] और शेला द्वारा सिद्ध किया गया था।<ref>{{cite journal |last1=Sacks |first1=Gerald |title=एक विभेदक क्षेत्र का विभेदक समापन|journal=Bulletin of the American Mathematical Society |date=1972 |volume=78 |issue=5 |pages=629–634 |doi=10.1090/S0002-9904-1972-12969-0 |s2cid=17860378 |url=https://www.ams.org/journals/bull/1972-78-05/S0002-9904-1972-12969-0/S0002-9904-1972-12969-0.pdf}}</ref>
*चूंकि विशेषता 0 के विभेदित रूप से सवृत क्षेत्रों का सिद्धांत <math>\omega</math>-स्थिर है, [[विभेदक बीजगणित|अवकल बीजगणित]] में स्थिरता सिद्धांत के कई अनुप्रयोग हैं। उदाहरण के लिए, ऐसे क्षेत्र के अवकल समापन (बीजगणितीय समापन का अनुरूप) के अस्तित्व और विशिष्टता को क्रमशः <math>\omega</math>-स्थिर सिद्धांत में प्राइम मॉडल पर सामान्य परिणामों का उपयोग करके [[लेनोर ब्लम]] और शेला द्वारा सिद्ध किया गया था।<ref>{{cite journal |last1=Sacks |first1=Gerald |title=एक विभेदक क्षेत्र का विभेदक समापन|journal=Bulletin of the American Mathematical Society |date=1972 |volume=78 |issue=5 |pages=629–634 |doi=10.1090/S0002-9904-1972-12969-0 |s2cid=17860378 |url=https://www.ams.org/journals/bull/1972-78-05/S0002-9904-1972-12969-0/S0002-9904-1972-12969-0.pdf}}</ref>
*डायोफैंटाइन ज्यामिति में, एहुद ह्रुशोवस्की ने सभी विशेषताओं में फलन क्षेत्र के लिए मोर्डेल-लैंग अनुमान को साबित करने के लिए ज्यामितीय स्थिरता सिद्धांत का उपयोग किया, जो वक्रों पर [[तर्कसंगत बिंदु]]ओं की गिनती के बारे में फाल्टिंग्स के प्रमेय और वक्रों पर [[मरोड़ बिंदु|परिमेय बिंदु]]ओं की गिनती के बारे में [[मैनिन-ममफोर्ड अनुमान]] को सामान्य बनाता है।<ref>{{cite journal |last1=Hrushovski |first1=Ehud |title=फ़ंक्शन फ़ील्ड के लिए मोर्डेल-लैंग अनुमान|journal=Journal of the American Mathematical Society |date=1996 |volume=9 |issue=3 |pages=667–690 |doi=10.1090/S0894-0347-96-00202-0 |url=https://www.ams.org/journals/jams/1996-9-03/S0894-0347-96-00202-0/S0894-0347-96-00202-0.pdf}}</ref> प्रमाण में मुख्य बिंदु कुछ अंकगणितीय रूप से परिभाषित समूहों को स्थानीय रूप से मॉड्यूलर दिखाने के लिए अवकल क्षेत्रों में ज़िल्बर की त्रिभाजन का उपयोग करना था।<ref>{{cite web |last1=Scanlon |first1=Thomas |title=मोर्डेल-लैंग और वेरिएंट|url=https://math.berkeley.edu/~scanlon/papers/LC04/LC04/ml.html |access-date=27 January 2023}}</ref>
*डायोफैंटाइन ज्यामिति में, एहुद ह्रुशोवस्की ने सभी विशेषताओं में फलन क्षेत्र के लिए मोर्डेल-लैंग अनुमान को सिद्ध करने के लिए ज्यामितीय स्थिरता सिद्धांत का उपयोग किया, जो वक्रों पर [[तर्कसंगत बिंदु]]ओं की गिनती के बारे में फाल्टिंग्स के प्रमेय और वक्रों पर [[मरोड़ बिंदु|परिमेय बिंदु]]ओं की गिनती के बारे में [[मैनिन-ममफोर्ड अनुमान]] को सामान्य बनाता है।<ref>{{cite journal |last1=Hrushovski |first1=Ehud |title=फ़ंक्शन फ़ील्ड के लिए मोर्डेल-लैंग अनुमान|journal=Journal of the American Mathematical Society |date=1996 |volume=9 |issue=3 |pages=667–690 |doi=10.1090/S0894-0347-96-00202-0 |url=https://www.ams.org/journals/jams/1996-9-03/S0894-0347-96-00202-0/S0894-0347-96-00202-0.pdf}}</ref> प्रमाण में मुख्य बिंदु कुछ अंकगणितीय रूप से परिभाषित समूहों को स्थानीय रूप से मॉड्यूलर दिखाने के लिए अवकल क्षेत्रों में ज़िल्बर की त्रिभाजन का उपयोग करना था।<ref>{{cite web |last1=Scanlon |first1=Thomas |title=मोर्डेल-लैंग और वेरिएंट|url=https://math.berkeley.edu/~scanlon/papers/LC04/LC04/ml.html |access-date=27 January 2023}}</ref>
*[[ऑनलाइन मशीन लर्निंग]] में, कॉन्सेप्ट क्लास का लिटिलस्टोन आयाम सीखने की क्षमता को दर्शाने वाला सम्मिश्रता माप है, जो [[पीएसी सीखना|पीएसी लर्निंग]] में [[वीसी-आयाम]] के अनुरूप है।[[अवधारणा वर्ग]] के लिटलस्टोन आयाम को बांधना द्वयी तरू को शामिल करते हुए स्थिरता के संयोजन लक्षण वर्णन के बराबर है।<ref>{{cite journal |last1=Chase |first1=Hunter |last2=Freitag |first2=James |title=मॉडल सिद्धांत और मशीन लर्निंग|journal=Bulletin of Symbolic Logic |date=2019 |volume=25 |issue=3 |pages=319–332 |doi=10.1017/bsl.2018.71 |arxiv=1801.06566 |s2cid=119689419 }}</ref> उदाहरण के लिए, इस समतुल्यता का उपयोग यह साबित करने के लिए किया गया है कि अवधारणा वर्ग की ऑनलाइन सीखने की क्षमता [[विभेदक गोपनीयता|अवकल निजी]] पीएसी सीखने की क्षमता के बराबर है।<ref>{{cite journal |last1=Alon |first1=Noga |last2=Bun |first2=Mark |last3=Livni |first3=Roi |last4=Malliaris |first4=Maryanthe |last5=Moran |first5=Shay |title=निजी और ऑनलाइन सीखने की क्षमता समतुल्य है|journal=Journal of the ACM |date=2022 |volume=69 |issue=4 |pages=1–34 |doi=10.1145/3526074 |s2cid=247186721 |url=http://www.cs.tau.ac.il/~nogaa/PDFS/JACMjoint1.pdf}}</ref>
*[[ऑनलाइन मशीन लर्निंग]] में, कॉन्सेप्ट क्लास का लिटिलस्टोन आयाम सीखने की क्षमता को दर्शाने वाला सम्मिश्रता माप है, जो [[पीएसी सीखना|पीएसी लर्निंग]] में [[वीसी-आयाम]] के अनुरूप है।[[अवधारणा वर्ग]] के लिटलस्टोन आयाम को बांधना द्वयी तरू को सम्मिलित करते हुए स्थिरता के संयोजन लक्षण वर्णन के बराबर है।<ref>{{cite journal |last1=Chase |first1=Hunter |last2=Freitag |first2=James |title=मॉडल सिद्धांत और मशीन लर्निंग|journal=Bulletin of Symbolic Logic |date=2019 |volume=25 |issue=3 |pages=319–332 |doi=10.1017/bsl.2018.71 |arxiv=1801.06566 |s2cid=119689419 }}</ref> उदाहरण के लिए, इस समतुल्यता का उपयोग यह सिद्ध करने के लिए किया गया है कि अवधारणा वर्ग की ऑनलाइन सीखने की क्षमता [[विभेदक गोपनीयता|अवकल निजी]] पीएसी सीखने की क्षमता के बराबर है।<ref>{{cite journal |last1=Alon |first1=Noga |last2=Bun |first2=Mark |last3=Livni |first3=Roi |last4=Malliaris |first4=Maryanthe |last5=Moran |first5=Shay |title=निजी और ऑनलाइन सीखने की क्षमता समतुल्य है|journal=Journal of the ACM |date=2022 |volume=69 |issue=4 |pages=1–34 |doi=10.1145/3526074 |s2cid=247186721 |url=http://www.cs.tau.ac.il/~nogaa/PDFS/JACMjoint1.pdf}}</ref>
*[[कार्यात्मक विश्लेषण]] में, [[जीन-लुई क्रिविन]] और [[बर्नार्ड मौरे]] ने बानाच रिक्त समष्टि के लिए स्थिरता की धारणा को परिभाषित किया, जो यह बताने के बराबर है कि किसी भी परिमाणवाचक-मुक्त सूत्र में क्रम गुण नहीं है (प्रथम-क्रम तर्क के बजाय निरंतर तर्क में)। फिर उन्होंने दिखाया कि प्रत्येक स्थिर बानाच समष्टि कुछ <math>p \in [1, \infty)</math>के लिए {{math|''ℓ''{{i sup|''p''}}}} के लगभग-सममितीय अंत: स्थापन को स्वीकार करता है।<ref>{{cite book |last1=Iovino |first1=José |title=कार्यात्मक विश्लेषण के लिए मॉडल सिद्धांत के अनुप्रयोग|date=2014 |at=Chapters 13,15 |url=https://math.i-learn.unito.it/pluginfile.php/145468/mod_resource/content/2/Iovino.pdf}}</ref> यह कार्यात्मक विश्लेषण और सतत तर्क में स्थिरता के बीच व्यापक परस्पर क्रिया का हिस्सा है; उदाहरण के लिए, कार्यात्मक विश्लेषण में [[अलेक्जेंडर ग्रोथेंडिक]] के प्रारंभिक परिणामों की व्याख्या स्थिरता सिद्धांत के मौलिक परिणामों के बराबर की जा सकती है।<ref>{{cite journal |last1=Ben Yaacov |first1=Itaï |title=ए ग्रोथेंडिक के बाद मॉडल सैद्धांतिक स्थिरता और प्रकारों की निश्चितता|journal=Bulletin of Symbolic Logic |date=2014 |volume=20 |issue=4 |arxiv=1306.5852 }}</ref>
*[[कार्यात्मक विश्लेषण]] में, [[जीन-लुई क्रिविन]] और [[बर्नार्ड मौरे]] ने बानाच रिक्त समष्टि के लिए स्थिरता की धारणा को परिभाषित किया, जो यह बताने के बराबर है कि किसी भी परिमाणवाचक-मुक्त सूत्र में क्रम गुण नहीं है (प्रथम-क्रम तर्क के अतिरिक्त निरंतर तर्क में)। फिर उन्होंने दिखाया कि प्रत्येक स्थिर बानाच समष्टि कुछ <math>p \in [1, \infty)</math>के लिए {{math|''ℓ''{{i sup|''p''}}}} के लगभग-सममितीय अंत: स्थापन को स्वीकार करता है।<ref>{{cite book |last1=Iovino |first1=José |title=कार्यात्मक विश्लेषण के लिए मॉडल सिद्धांत के अनुप्रयोग|date=2014 |at=Chapters 13,15 |url=https://math.i-learn.unito.it/pluginfile.php/145468/mod_resource/content/2/Iovino.pdf}}</ref> यह कार्यात्मक विश्लेषण और सतत तर्क में स्थिरता के बीच व्यापक परस्पर क्रिया का हिस्सा है; उदाहरण के लिए, कार्यात्मक विश्लेषण में [[अलेक्जेंडर ग्रोथेंडिक]] के प्रारंभिक परिणामों की व्याख्या स्थिरता सिद्धांत के मौलिक परिणामों के बराबर की जा सकती है।<ref>{{cite journal |last1=Ben Yaacov |first1=Itaï |title=ए ग्रोथेंडिक के बाद मॉडल सैद्धांतिक स्थिरता और प्रकारों की निश्चितता|journal=Bulletin of Symbolic Logic |date=2014 |volume=20 |issue=4 |arxiv=1306.5852 }}</ref>
*गणनीय (संभवतः परिमित) संरचना [[अतिसजातीय]] होती है यदि प्रत्येक परिमित आंशिक स्वसमाकृतिकता पूर्ण संरचना के स्वसमाकृतिकता तक विस्तारित होता है। ग्रेगरी चेरलिन और एलिस्टेयर लाचलान ने सभी परिमित संरचनाओं सहित स्थिर अतिसजातीय संरचनाओं के लिए सामान्य वर्गीकरण सिद्धांत प्रदान किया। विशेष रूप से, उनके परिणाम बताते हैं कि किसी भी निश्चित परिमित संबंधपरक भाषा के लिए, परिमित सजातीय संरचनाएं संख्यात्मक अपरिवर्तनवादियों और परिमित रूप से कई विकीर्ण उदाहरणों द्वारा प्राचलीकरण किए गए सदस्यों के साथ कई अनंत वर्ग में आती हैं। इसके अलावा, प्रत्येक विकीर्ण उदाहरण किसी समृद्ध भाषा में अनंत वर्ग का हिस्सा बन जाता है, और नए विकीर्ण उदाहरण हमेशा उपयुक्त रूप से समृद्ध भाषाओं में दिखाई देते हैं।<ref>{{cite conference |title=छिटपुट सजातीय संरचनाएँ|last1=Cherlin |first1=Gregory |date=2000 |book-title=The Gelfand mathematical seminars, 1996--1999 |url=https://sites.math.rutgers.edu/~cherlin/Paper/2000Sporadic.pdf}}</ref>
*गणनीय (संभवतः परिमित) संरचना [[अतिसजातीय]] होती है यदि प्रत्येक परिमित आंशिक स्वसमाकृतिकता पूर्ण संरचना के स्वसमाकृतिकता तक विस्तारित होता है। ग्रेगरी चेरलिन और एलिस्टेयर लाचलान ने सभी परिमित संरचनाओं सहित स्थिर अतिसजातीय संरचनाओं के लिए सामान्य वर्गीकरण सिद्धांत प्रदान किया। विशेष रूप से, उनके परिणाम बताते हैं कि किसी भी निश्चित परिमित संबंधपरक भाषा के लिए, परिमित सजातीय संरचनाएं संख्यात्मक अपरिवर्तनवादियों और परिमित रूप से कई विकीर्ण उदाहरणों द्वारा प्राचलीकरण किए गए सदस्यों के साथ कई अनंत वर्ग में आती हैं। इसके अतिरिक्त, प्रत्येक विकीर्ण उदाहरण किसी समृद्ध भाषा में अनंत वर्ग का हिस्सा बन जाता है, और नए विकीर्ण उदाहरण हमेशा उपयुक्त रूप से समृद्ध भाषाओं में दिखाई देते हैं।<ref>{{cite conference |title=छिटपुट सजातीय संरचनाएँ|last1=Cherlin |first1=Gregory |date=2000 |book-title=The Gelfand mathematical seminars, 1996--1999 |url=https://sites.math.rutgers.edu/~cherlin/Paper/2000Sporadic.pdf}}</ref>
*[[अंकगणित कॉम्बिनेटरिक्स|अंकगणित संयोजक]] में, ह्रुशोव्स्की ने [[अनुमानित समूह]] की संरचना पर परिणाम साबित किए, उदाहरण के लिए बहुपद वृद्धि के समूहों पर ग्रोमोव के प्रमेय का दृढ़ संस्करण प्रस्तुत किया। हालाँकि इसमें सीधे तौर पर स्थिर सिद्धांतों का उपयोग नहीं किया गया था, मुख्य अंतर्दृष्टि यह थी कि स्थिर समूह सिद्धांत के मौलिक परिणामों को सामान्यीकृत किया जा सकता था और इस समायोजन में लागू किया जा सकता था।<ref>{{cite journal |last1=Hrushovski |first1=Ehud |title=स्थिर समूह सिद्धांत और अनुमानित उपसमूह|journal=Journal of the American Mathematical Society |date=2012 |volume=25 |issue=1 |url=https://www.ams.org/journals/jams/2012-25-01/S0894-0347-2011-00708-X/S0894-0347-2011-00708-X.pdf}}</ref> इसने सीधे अनुमानित उपसमूहों को वर्गीकृत करने वालेकरने वाले ब्रुइलार्ड-ग्रीन-ताओ प्रमेय को वृद्धि दिया।<ref>{{cite journal |last1=Breuillard |first1=Emmanuel |last2=Green |first2=Ben |last3=Tao |first3=Terence |title=अनुमानित समूहों की संरचना|journal=Publications mathématiques de l'IHÉS |date=2012 |volume=116 |doi=10.1007/s10240-012-0043-9 |arxiv=1110.5008 |s2cid=254166823 |at=Acknowledgments |url=http://www.numdam.org/item/10.1007/s10240-012-0043-9.pdf}}</ref>
*[[अंकगणित कॉम्बिनेटरिक्स|अंकगणित संयोजक]] में, ह्रुशोव्स्की ने [[अनुमानित समूह]] की संरचना पर परिणाम सिद्ध किए, उदाहरण के लिए बहुपद वृद्धि के समूहों पर ग्रोमोव के प्रमेय का दृढ़ संस्करण प्रस्तुत किया। चूंकि इसमें सीधे तौर पर स्थिर सिद्धांतों का उपयोग नहीं किया गया था, मुख्य अंतर्दृष्टि यह थी कि स्थिर समूह सिद्धांत के मौलिक परिणामों को सामान्यीकृत किया जा सकता था और इस समायोजन में लागू किया जा सकता था।<ref>{{cite journal |last1=Hrushovski |first1=Ehud |title=स्थिर समूह सिद्धांत और अनुमानित उपसमूह|journal=Journal of the American Mathematical Society |date=2012 |volume=25 |issue=1 |url=https://www.ams.org/journals/jams/2012-25-01/S0894-0347-2011-00708-X/S0894-0347-2011-00708-X.pdf}}</ref> इसने सीधे अनुमानित उपसमूहों को वर्गीकृत करने वालेकरने वाले ब्रुइलार्ड-ग्रीन-ताओ प्रमेय को वृद्धि दिया।<ref>{{cite journal |last1=Breuillard |first1=Emmanuel |last2=Green |first2=Ben |last3=Tao |first3=Terence |title=अनुमानित समूहों की संरचना|journal=Publications mathématiques de l'IHÉS |date=2012 |volume=116 |doi=10.1007/s10240-012-0043-9 |arxiv=1110.5008 |s2cid=254166823 |at=Acknowledgments |url=http://www.numdam.org/item/10.1007/s10240-012-0043-9.pdf}}</ref>
==सामान्यीकरण==
==सामान्यीकरण==
इस प्रारंभ के बाद लगभग बीस वर्षों तक, स्थिरता शुद्ध मॉडल सिद्धांत का मुख्य विषय था।<ref name="Guide">{{cite book |last1=Simon |first1=Pierre |title=एनआईपी सिद्धांतों के लिए एक गाइड|date=2015 |url=https://www.normalesup.org/~simon/NIP_guide.pdf |chapter=Introduction}}</ref> आधुनिक शुद्ध मॉडल सिद्धांत की केंद्रीय दिशा, जिसे कभी-कभी नवस्थिरता या वर्गीकरण सिद्धांत भी कहा जाता है,{{efn|The term "classification theory" has two uses. The narrow use described earlier refers to Shelah's program of identifying classifiable theories, and takes place almost entirely within stable theories. The broader use described here refers to the larger program of classifying theories by dividing lines possibly more general than stability.<ref name="SEP"/>}}इसमें स्थिर सिद्धांतों के लिए विकसित अवधारणाओं और तकनीकों को सिद्धांतों के व्यापक वर्गों में सामान्यीकृत करना शामिल है, और इसने मॉडल सिद्धांत के कई हालिया अनुप्रयोगों को शामिल किया है।<ref>{{cite web |last1=Hart |first1=Bradd |last2=Hrushovski |first2=Ehud |last3=Onshuus |first3=Alf |last4=Pillay |first4=Anand |last5=Scanlon |first5=Thomas |last6=Wagner |first6=Frank |title=नवस्थिरता सिद्धांत|url=https://www.birs.ca/cmo-workshops/2015/15w5145/Report15w5145.pdf}}</ref>
इस प्रारंभ के बाद लगभग बीस वर्षों तक, स्थिरता शुद्ध मॉडल सिद्धांत का मुख्य विषय था।<ref name="Guide">{{cite book |last1=Simon |first1=Pierre |title=एनआईपी सिद्धांतों के लिए एक गाइड|date=2015 |url=https://www.normalesup.org/~simon/NIP_guide.pdf |chapter=Introduction}}</ref> आधुनिक शुद्ध मॉडल सिद्धांत की केंद्रीय दिशा, जिसे कभी-कभी नवस्थिरता या वर्गीकरण सिद्धांत भी कहा जाता है,{{efn|The term "classification theory" has two uses. The narrow use described earlier refers to Shelah's program of identifying classifiable theories, and takes place almost entirely within stable theories. The broader use described here refers to the larger program of classifying theories by dividing lines possibly more general than stability.<ref name="SEP"/>}}इसमें स्थिर सिद्धांतों के लिए विकसित अवधारणाओं और तकनीकों को सिद्धांतों के व्यापक वर्गों में सामान्यीकृत करना सम्मिलित है, और इसने मॉडल सिद्धांत के कई हालिया अनुप्रयोगों को सम्मिलित किया है।<ref>{{cite web |last1=Hart |first1=Bradd |last2=Hrushovski |first2=Ehud |last3=Onshuus |first3=Alf |last4=Pillay |first4=Anand |last5=Scanlon |first5=Thomas |last6=Wagner |first6=Frank |title=नवस्थिरता सिद्धांत|url=https://www.birs.ca/cmo-workshops/2015/15w5145/Report15w5145.pdf}}</ref>


ऐसे व्यापक वर्गों के दो उल्लेखनीय उदाहरण सरल और एनआईपी सिद्धांत हैं। ये स्थिर सिद्धांतों के लंबकोणीय सामान्यीकरण हैं, क्योंकि सिद्धांत सरल और एनआईपी दोनों है यदि और केवल अगर यह स्थिर है।<ref name="Guide" />मोटे तौर पर, एनआईपी सिद्धांत स्थिर सिद्धांतों से उचित संयोजन व्यवहार को बनाए रखते हैं, जबकि सरल सिद्धांत गैर-फोर्किंग स्वतंत्रता के उचित ज्यामितीय व्यवहार को बनाए रखते हैं।<ref>{{cite journal |last1=Adler |first1=Hans |title=स्वतंत्रता संपत्ति के बिना सिद्धांतों का परिचय|journal=Archive for Mathematical Logic |date=2008 |volume=5 |page=21 |url=http://www.logic.univie.ac.at/~adler/docs/nip.pdf}}</ref> विशेष रूप से, सरल सिद्धांतों को गैर-फोर्किंग स्वतंत्रता के सममित होने की विशेषता दी जा सकती है,<ref>{{cite journal |last1=Kim |first1=Byunghan |title=वहां सरलता और स्थिरता है|journal=The Journal of Symbolic Logic |date=2001 |volume=66 |issue=2|pages=822–836 |doi=10.2307/2695047 |jstor=2695047 |s2cid=7033889 }}</ref> जबकि एनआईपी को को परिमित<ref>{{cite journal |last1=Chernikov |first1=Artem |last2=Simon |first2=Pierre |title=बाह्य रूप से निश्चित समुच्चय और आश्रित जोड़े II|journal=Transactions of the American Mathematical Society |date=2015 |volume=367 |issue=7 |doi=10.1090/S0002-9947-2015-06210-2 |s2cid=53968137 |at=Fact 3 |url=https://www.ams.org/journals/tran/2015-367-07/S0002-9947-2015-06210-2/S0002-9947-2015-06210-2.pdf}}</ref> या अनंत<ref>{{cite book |last1=Simon |first1=Pierre |title=एनआईपी सिद्धांतों के लिए एक गाइड|date=2015 |url=https://www.normalesup.org/~simon/NIP_guide.pdf |at=Proposition 2.69}}</ref> समुच्चय पर प्राप्त प्रकारों की संख्या को सीमित करके चित्रित किया जा सकता है।
ऐसे व्यापक वर्गों के दो उल्लेखनीय उदाहरण सरल और एनआईपी सिद्धांत हैं। ये स्थिर सिद्धांतों के लंबकोणीय सामान्यीकरण हैं, क्योंकि सिद्धांत सरल और एनआईपी दोनों है यदि और केवल यदि यह स्थिर है।<ref name="Guide" />मोटे तौर पर, एनआईपी सिद्धांत स्थिर सिद्धांतों से उचित संयोजन व्यवहार को बनाए रखते हैं, जबकि सरल सिद्धांत गैर-फोर्किंग स्वतंत्रता के उचित ज्यामितीय व्यवहार को बनाए रखते हैं।<ref>{{cite journal |last1=Adler |first1=Hans |title=स्वतंत्रता संपत्ति के बिना सिद्धांतों का परिचय|journal=Archive for Mathematical Logic |date=2008 |volume=5 |page=21 |url=http://www.logic.univie.ac.at/~adler/docs/nip.pdf}}</ref> विशेष रूप से, सरल सिद्धांतों को गैर-फोर्किंग स्वतंत्रता के सममित होने की विशेषता दी जा सकती है,<ref>{{cite journal |last1=Kim |first1=Byunghan |title=वहां सरलता और स्थिरता है|journal=The Journal of Symbolic Logic |date=2001 |volume=66 |issue=2|pages=822–836 |doi=10.2307/2695047 |jstor=2695047 |s2cid=7033889 }}</ref> जबकि एनआईपी को को परिमित<ref>{{cite journal |last1=Chernikov |first1=Artem |last2=Simon |first2=Pierre |title=बाह्य रूप से निश्चित समुच्चय और आश्रित जोड़े II|journal=Transactions of the American Mathematical Society |date=2015 |volume=367 |issue=7 |doi=10.1090/S0002-9947-2015-06210-2 |s2cid=53968137 |at=Fact 3 |url=https://www.ams.org/journals/tran/2015-367-07/S0002-9947-2015-06210-2/S0002-9947-2015-06210-2.pdf}}</ref> या अनंत<ref>{{cite book |last1=Simon |first1=Pierre |title=एनआईपी सिद्धांतों के लिए एक गाइड|date=2015 |url=https://www.normalesup.org/~simon/NIP_guide.pdf |at=Proposition 2.69}}</ref> समुच्चय पर प्राप्त टाइप की संख्या को सीमित करके चित्रित किया जा सकता है।


सामान्यीकरण की अन्य दिशा पूर्ण प्रथम-क्रम सिद्धांतों की स्थापना से परे वर्गीकरण सिद्धांत को दोहराना है, जैसे कि अमूर्त प्रारंभिक कक्षाओं में है।<ref>{{cite book |last1=Shelah |first1=Saharon |title=सार प्राथमिक कक्षाओं के लिए वर्गीकरण सिद्धांत खंड 1|date=2009 |url=https://shelah.logic.at/files/221770/h-v2.pdf}}</ref>
सामान्यीकरण की अन्य दिशा पूर्ण प्रथम-क्रम सिद्धांतों की स्थापना से परे वर्गीकरण सिद्धांत को दोहराना है, जैसे कि अमूर्त प्रारंभिक कक्षाओं में है।<ref>{{cite book |last1=Shelah |first1=Saharon |title=सार प्राथमिक कक्षाओं के लिए वर्गीकरण सिद्धांत खंड 1|date=2009 |url=https://shelah.logic.at/files/221770/h-v2.pdf}}</ref>
Line 82: Line 82:


{{Mathematical logic}}
{{Mathematical logic}}
[[Category: मॉडल सिद्धांत]]


 
[[Category:Collapse templates]]
 
[[Category: Machine Translated Page]]
[[Category:Created On 20/07/2023]]
[[Category:Created On 20/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:मॉडल सिद्धांत]]

Latest revision as of 10:11, 2 August 2023

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

1970 से 1990 के दशक तक स्थिर सिद्धांत शुद्ध मॉडल सिद्धांत का गणनसंख्या विषय थे, इसलिए उनके अध्ययन ने आधुनिक मॉडल सिद्धांत को आकार दिया[1] और उनका विश्लेषण करने के लिए समृद्ध रूपरेखा और उपकरणों का समुच्चय सम्मिलित है। मॉडल सिद्धांत में गणनसंख्या दिशा "नवस्थिरता सिद्धांत" है, जो स्थिरता सिद्धांत की अवधारणाओं को सरल और एनआईपी (मॉडल सिद्धांत) सिद्धांतों जैसे व्यापक संदर्भों में सामान्यीकृत करने का प्रयास करता है।

प्रेरणा और इतिहास

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

स्थिरता सिद्धांत की जड़ें माइकल डी. मॉर्ले के 1965 में स्पष्ट सिद्धांतों पर लोस के अनुमान के प्रमाण में हैं। इस प्रमाण में, मुख्य धारणा पूरी तरह से पारलौकिक सिद्धांत की थी, जिसे टाइप समष्टि की सांस्थितिक सम्मिश्रता को सीमित करके परिभाषित किया गया था। चूंकि, मॉर्ले ने दिखाया कि (गणनीय सिद्धांतों के लिए) यह सांस्थितिक प्रतिबंध गणनांक प्रतिबंध के बराबर है, स्थिरता का दृढ़ रूप जिसे अब -स्थिरता कहा जाता है, और उन्होंने इस तुल्यता का महत्वपूर्ण उपयोग किया था। अनगिनत सिद्धांतों के लिए मॉर्ले की श्रेणीबद्धता प्रमेय को सामान्य बनाने के क्रम में, फ्रेडरिक रोबॉटम ने कुछ गणनसंख्या के लिए -स्थिर सिद्धांतों को पेश करके, -स्थिरता को सामान्यीकृत किया, और अंत में शेला ने स्थिर सिद्धांतों को पेश किया था।[3]

शेला के वर्गीकरण सिद्धांत योजना के दौरान स्थिरता सिद्धांत को और अधिक विकसित किया गया था। इस योजना का मुख्य लक्ष्य द्वंद्व दिखाना था कि या तो प्रथम-क्रम सिद्धांत के मॉडल को गणनसंख्या-अपरिवर्तनीय के तरु का उपयोग करके समरूपता तक अच्छी तरह से वर्गीकृत किया जा सकता है (उदाहरण के लिए, उनके आयाम (सदिश समष्टि) द्वारा निश्चित क्षेत्र (गणित) पर सदिश रिक्त समष्टि का वर्गीकरण), या इतने जटिल हैं कि कोई उचित वर्गीकरण संभव नहीं है।[4] इस वर्गीकरण सिद्धांत के ठोस परिणामों में सिद्धांत के संभावित स्पेक्ट्रम फलन पर प्रमेय थे, जिसमें के फलन के रूप में गणनांक के मॉडलों की संख्या की गणना की गई थी।[lower-alpha 1] शेला का दृष्टिकोण सिद्धांतों के लिए "विभाजन रेखाओं" की श्रृंखला की पहचान करना था। विभाजन रेखा सिद्धांत का ऐसा गुण है कि इसके और इसके निषेध दोनों के दृढ़ संरचनात्मक परिणाम होते हैं; एक को यह मानना ​​चाहिए कि सिद्धांत के मॉडल अव्यवस्थित हैं, जबकि दूसरे को सुनिश्चित संरचना सिद्धांत प्राप्त करना चाहिए। वर्गीकरण सिद्धांत योजना में स्थिरता पहली ऐसी विभाजन रेखा थी, और चूंकि इसकी विफलता किसी भी उचित वर्गीकरण को खारिज करने में दिखाई गई थी, इसलिए आगे के सभी कार्य सिद्धांत को स्थिर मान सकते थे। इस प्रकार अधिकांश वर्गीकरण सिद्धांत स्थिर सिद्धांतों और अतिस्थिर सिद्धांतों जैसे आगे की विभाजन रेखाओं द्वारा दिए गए स्थिर सिद्धांतों के विभिन्न उपसमूहों का विश्लेषण करने से संबंधित था।[3]

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

परिभाषा और वैकल्पिक लक्षण

मान लीजिए कि T पूर्णता (तर्क) प्रथम-क्रम सिद्धांत है।

किसी दिए गए अनंत गणनसंख्या के लिए, T, -स्थिर है यदि T के मॉडल में गणनांक के प्रत्येक सेट A के लिए, A पर पूर्ण प्रकार के सेट S(A) में भी गणनांक है। यह S(A) की सबसे छोटी गणनांक है, जबकि यह जितनी बड़ी हो सकती है। मामले के लिए, यह कहना आम बात है कि T, -स्थिर के अतिरिक्त -स्थिर है।[5]

यदि T स्थिर है कुछ अनंत गणनसंख्या के लिए -स्थिर है।[6]

गणनसंख्या पर प्रतिबंध जिसके लिए सिद्धांत एक साथ हो सकता है -स्थिरता को स्थिरता स्पेक्ट्रम द्वारा वर्णित किया गया है,[7] जो अतिस्थिर सिद्धांतों के सम-संयमी उपसमुच्चय को अलग करता है।

स्थिर सिद्धांतों की सामान्य वैकल्पिक परिभाषा यह है कि उनके पास क्रम गुण नहीं है। यदि कोई सूत्र है तो सिद्धांत में क्रम गुण होता है और टुपल्स , के दो अनंत अनुक्रम होते हैं, जैसे कि M में ऐसा है पर अनंत आधे ग्राफ़ को परिभाषित करता है , अर्थात। M में सत्य है।[8] यह सूत्र होने के बराबर है और टुपल्स का अनंत क्रम कुछ मॉडल M में A ऐसा है पर अनंत रैखिक क्रम को परिभाषित करता है, अर्थात M में सत्य है।[9][lower-alpha 2][lower-alpha 3]

स्थिरता की और भी कई विशेषताएँ हैं। मॉर्ले के पूरी तरह से प्रागनुभविक सिद्धांतों के साथ, स्थिरता की गणनांक प्रतिबंध कैंटर-बेंडिक्सन रैंक के संदर्भ में टाइप समष्टि की सांस्थितिक सम्मिश्रता को सीमित करने के बराबर हैं।[12] एक अन्य लक्षण वर्णन उन गुणों के माध्यम से है जो गैर-फोर्किंग स्वतंत्रता स्थिर सिद्धांतों में होती है, जैसे कि सममित होता है। यह इस अर्थ में स्थिरता की विशेषता है कि इनमें से कुछ गुणों को संतुष्ट करने वाले अमूर्त स्वतंत्रता संबंध वाला कोई भी सिद्धांत स्थिर होना चाहिए और स्वतंत्रता संबंध गैर-विभाजनकारी स्वतंत्रता होना चाहिए।[13]

अमूर्त स्वतंत्रता संबंध को छोड़कर, इनमें से किसी भी परिभाषा का उपयोग यह परिभाषित करने के लिए किया जा सकता है कि किसी दिए गए सिद्धांत T में एकल सूत्र के स्थिर होने का क्या मतलब है। तब T को स्थिर होने के रूप में परिभाषित किया जा सकता है यदि प्रत्येक सूत्र T में स्थिर है।[14] स्थिर सूत्रों में परिणामों का स्थानीयकरण इन परिणामों को अस्थिर सिद्धांतों में स्थिर सूत्रों पर लागू करने की अनुमति देता है, और एकल सूत्रों के लिए यह स्थानीयकरण अधिकांशतः स्थिर सिद्धांतों के मामले में भी उपयोगी होता है।[15]

उदाहरण और गैर-उदाहरण

अस्थिर सिद्धांत के लिए, अंतिम बिंदुओं के बिना सघन क्रम के सिद्धांत डीएलओ पर विचार करें। तब परमाणु सूत्र क्रम संबंध में क्रम गुण होता है। वैकल्पिक रूप से, समुच्चय A पर अवास्तविक 1-टाइप, A के क्रम में कट (सामान्यीकृत डेडेकाइंड कट, इस आवश्यकता के बिना कि दोनों समुच्चय गैर-खाली हों और निचले समुच्चय में कोई सबसे बड़ा तत्व नहीं है) के अनुरूप हैं,[16] और किसी भी गणनांक साथ -कई कट के सघन क्रम सम्मिलित हैं।[17]

अन्य अस्थिर सिद्धांत राडो ग्राफ का सिद्धांत है, जहां परमाणु किनारे संबंध में क्रम गुण होती है।[18]

स्थिर सिद्धांत के लिए, सिद्धांत पर विचार करें विशेषता (बीजगणित) p के बीजगणितीय रूप से सवृत क्षेत्रों की अनुमति है। फिर यदि K का मॉडल है , समुच्चय पर टाइप की गिनती , K में A द्वारा उत्पन्न क्षेत्र k पर टाइप की गिनती के बराबर है। k के ऊपर n-टाइप के समष्टि से बहुपद वलय में अभाज्य आदर्शों के समष्टि तक (निरंतर) आक्षेप है, चूँकि ऐसे आदर्श सीमित रूप से उत्पन्न होते हैं, केवल बहुत होते हैं, तो , -स्थिर सभी अनंत के लिए है। [19]

स्थिर सिद्धांतों के कुछ और उदाहरण नीचे सूचीबद्ध हैं।

  • वलय पर किसी मॉड्यूल (गणित) का सिद्धांत (विशेष रूप से, सदिश रिक्त समष्टि या एबेलियन समूह का कोई सिद्धांत)।[20]
  • गैर-एबेलियन मुक्त समूह का सिद्धांत।[21]
  • विशिष्टता p के विभेदित रूप से सवृत क्षेत्र का सिद्धांत। जब , -स्थिर सिद्धांत है।[22]
  • किसी भी सघन ग्राफ़ वर्ग का सिद्धांत।[23] इनमें परिबद्ध विस्तार के साथ ग्राफ़ वर्ग सम्मिलित हैं, जिसमें बदले में समतल ग्राफ़ और परिबद्ध डिग्री का कोई भी ग्राफ़ वर्ग सम्मिलित है।

ज्यामितीय स्थिरता सिद्धांत

ज्यामितीय स्थिरता सिद्धांत का संबंध मॉडलों में स्थानीय ज्यामिति के सूक्ष्म विश्लेषण और उनके गुण वैश्विक संरचना को कैसे प्रभावित करते हैं, से है। परिणामों की यह रेखा बाद में स्थिरता सिद्धांत के विभिन्न अनुप्रयोगों में महत्वपूर्ण थी, उदाहरण के लिए डायोफैंटाइन ज्यामिति के लिए। सामान्यतः इसका प्रारंभ 1970 के दशक के अंत में बोरिस ज़िल्बर के पूरी तरह से श्रेणीबद्ध सिद्धांतों के विश्लेषण से मानी जाती है, जो अंततः दिखाती है कि वे अंततः स्वयंसिद्ध नहीं हैं। पूरी तरह से श्रेणीबद्ध सिद्धांत के प्रत्येक मॉडल को दृढ़ता से न्यूनतम समुच्चय द्वारा नियंत्रित किया जाता है (अर्थात गणनसंख्या मॉडल और न्यूनतम पर है), जो मैट्रोइड संरचना रखता है[lower-alpha 4] (मॉडल-सैद्धांतिक) बीजगणितीय सूत्र (मॉडल सिद्धांत) द्वारा निर्धारित किया जाता है जो स्वतंत्रता और आयाम की धारणा देता है। इस समायोजन में, ज्यामितीय स्थिरता सिद्धांत तब स्थानीय प्रश्न पूछता है कि दृढ़ता से न्यूनतम समुच्चय की संरचना के लिए क्या संभावनाएं हैं, और स्थानीय-से-वैश्विक प्रश्न पूछता है कि दृढ़ता से न्यूनतम समुच्चय पूरे मॉडल को कैसे नियंत्रित करता है।[24]

दूसरे प्रश्न का उत्तर ज़िल्बर की सोपानी प्रमेय द्वारा दिया गया है, जिसमें दिखाया गया है कि पूरी तरह से श्रेणीबद्ध सिद्धांत का प्रत्येक मॉडल दृढ़ता से न्यूनतम समुच्चय पर "निश्चित फाइबर बंडल" जैसी किसी चीज़ के सीमित अनुक्रम द्वारा बनाया गया है।[25] पहले प्रश्न के लिए, ज़िल्बर का त्रिभाजन अनुमान यह था कि दृढ़ता से न्यूनतम समुच्चय की ज्यामिति या तो बिना किसी संरचना वाले समुच्चय की तरह होनी चाहिए, या समुच्चय को अनिवार्य रूप से सदिश समष्टि की संरचना, या बीजगणितीय रूप से सवृत क्षेत्र की संरचना को ले जाना चाहिए, पहले दो स्थितियों को स्थानीय रूप से मॉड्यूलर कहा जाता है।[26] यह अनुमान दो केंद्रीय विषयों को दर्शाता है। सबसे पहले, वह (स्थानीय) प्रतिरूपकता बीजीय ज्यामिति की तरह संयोजनात्मक या रैखिक व्यवहार को गैर-रेखीय, ज्यामितीय सम्मिश्रता से विभाजित करने का कार्य करती है।[27] दूसरा, जटिल संयोजक ज्यामिति आवश्यक रूप से बीजगणितीय वस्तुओं से आती है;[28]यह घटनाओं द्वारा परिभाषित अमूर्त प्रक्षेप्य तल के लिए समन्वय वलय खोजने की चिरसम्मत समस्या के समान है और आगे के उदाहरण समूह विन्यास प्रमेय हैं जो तत्वों के बीच कुछ संयोजन निर्भरता दिखाते हैं जो निश्चित समूह में गुणन से उत्पन्न होनी चाहिए।[29] प्रतिच्छेदन सिद्धांत जैसे न्यूनतम समुच्चय में बीजगणितीय ज्यामिति के कुछ हिस्सों के अनुरूप विकसित करके, ज़िल्बर ने अनगिनत श्रेणीबद्ध सिद्धांतों के लिए त्रिभाजन अनुमान का निर्बल रूप सिद्ध किया।[30] चूंकि एहुद ह्रुशोव्स्की ने पूर्ण अनुमान को गलत सिद्ध करने के लिए ह्रुशोव्स्की निर्माण विकसित किया, बाद में इसे ज़ारिस्की ज्यामिति की समायोजन में अतिरिक्त परिकल्पनाओं के साथ सिद्ध किया गया।[31]

शेला के वर्गीकरण योजना की धारणाएँ, जैसे कि नियमित टाइप, फोर्किंग और लंबकोणीयता, ने इन विचारों को अधिक व्यापकता तक ले जाने की अनुमति, विशेष रूप से अतिस्थिर सिद्धांतों में दी है। यहां, नियमित टाइप द्वारा परिभाषित समुच्चय दृढ़ता से न्यूनतम समुच्चय की भूमिका निभाते हैं, उनकी स्थानीय ज्यामिति बीजगणितीय निर्भरता के अतिरिक्त फोर्किंग निर्भरता द्वारा निर्धारित होती है। पूरी तरह से श्रेणीबद्ध सिद्धांत के एकल दृढ़ता से न्यूनतम समुच्चय नियंत्रण मॉडल के समष्टि पर, नियमित टाइप द्वारा परिभाषित कई ऐसी स्थानीय ज्यामिति हो सकती हैं, और लंबकोणीयता तब वर्णन करती है जब इन टाइप में कोई अन्तःक्रिया नहीं होती है।[32]

अनुप्रयोग

जबकि स्थिर सिद्धांत मॉडल सिद्धांत में मौलिक हैं, यह खंड गणित के अन्य क्षेत्रों में स्थिर सिद्धांतों के अनुप्रयोगों को सूचीबद्ध करता है। इस सूची का लक्ष्य संपूर्णता नहीं है, बल्कि व्यापकता की भावना है।

  • चूंकि विशेषता 0 के विभेदित रूप से सवृत क्षेत्रों का सिद्धांत -स्थिर है, अवकल बीजगणित में स्थिरता सिद्धांत के कई अनुप्रयोग हैं। उदाहरण के लिए, ऐसे क्षेत्र के अवकल समापन (बीजगणितीय समापन का अनुरूप) के अस्तित्व और विशिष्टता को क्रमशः -स्थिर सिद्धांत में प्राइम मॉडल पर सामान्य परिणामों का उपयोग करके लेनोर ब्लम और शेला द्वारा सिद्ध किया गया था।[33]
  • डायोफैंटाइन ज्यामिति में, एहुद ह्रुशोवस्की ने सभी विशेषताओं में फलन क्षेत्र के लिए मोर्डेल-लैंग अनुमान को सिद्ध करने के लिए ज्यामितीय स्थिरता सिद्धांत का उपयोग किया, जो वक्रों पर तर्कसंगत बिंदुओं की गिनती के बारे में फाल्टिंग्स के प्रमेय और वक्रों पर परिमेय बिंदुओं की गिनती के बारे में मैनिन-ममफोर्ड अनुमान को सामान्य बनाता है।[34] प्रमाण में मुख्य बिंदु कुछ अंकगणितीय रूप से परिभाषित समूहों को स्थानीय रूप से मॉड्यूलर दिखाने के लिए अवकल क्षेत्रों में ज़िल्बर की त्रिभाजन का उपयोग करना था।[35]
  • ऑनलाइन मशीन लर्निंग में, कॉन्सेप्ट क्लास का लिटिलस्टोन आयाम सीखने की क्षमता को दर्शाने वाला सम्मिश्रता माप है, जो पीएसी लर्निंग में वीसी-आयाम के अनुरूप है।अवधारणा वर्ग के लिटलस्टोन आयाम को बांधना द्वयी तरू को सम्मिलित करते हुए स्थिरता के संयोजन लक्षण वर्णन के बराबर है।[36] उदाहरण के लिए, इस समतुल्यता का उपयोग यह सिद्ध करने के लिए किया गया है कि अवधारणा वर्ग की ऑनलाइन सीखने की क्षमता अवकल निजी पीएसी सीखने की क्षमता के बराबर है।[37]
  • कार्यात्मक विश्लेषण में, जीन-लुई क्रिविन और बर्नार्ड मौरे ने बानाच रिक्त समष्टि के लिए स्थिरता की धारणा को परिभाषित किया, जो यह बताने के बराबर है कि किसी भी परिमाणवाचक-मुक्त सूत्र में क्रम गुण नहीं है (प्रथम-क्रम तर्क के अतिरिक्त निरंतर तर्क में)। फिर उन्होंने दिखाया कि प्रत्येक स्थिर बानाच समष्टि कुछ के लिए p के लगभग-सममितीय अंत: स्थापन को स्वीकार करता है।[38] यह कार्यात्मक विश्लेषण और सतत तर्क में स्थिरता के बीच व्यापक परस्पर क्रिया का हिस्सा है; उदाहरण के लिए, कार्यात्मक विश्लेषण में अलेक्जेंडर ग्रोथेंडिक के प्रारंभिक परिणामों की व्याख्या स्थिरता सिद्धांत के मौलिक परिणामों के बराबर की जा सकती है।[39]
  • गणनीय (संभवतः परिमित) संरचना अतिसजातीय होती है यदि प्रत्येक परिमित आंशिक स्वसमाकृतिकता पूर्ण संरचना के स्वसमाकृतिकता तक विस्तारित होता है। ग्रेगरी चेरलिन और एलिस्टेयर लाचलान ने सभी परिमित संरचनाओं सहित स्थिर अतिसजातीय संरचनाओं के लिए सामान्य वर्गीकरण सिद्धांत प्रदान किया। विशेष रूप से, उनके परिणाम बताते हैं कि किसी भी निश्चित परिमित संबंधपरक भाषा के लिए, परिमित सजातीय संरचनाएं संख्यात्मक अपरिवर्तनवादियों और परिमित रूप से कई विकीर्ण उदाहरणों द्वारा प्राचलीकरण किए गए सदस्यों के साथ कई अनंत वर्ग में आती हैं। इसके अतिरिक्त, प्रत्येक विकीर्ण उदाहरण किसी समृद्ध भाषा में अनंत वर्ग का हिस्सा बन जाता है, और नए विकीर्ण उदाहरण हमेशा उपयुक्त रूप से समृद्ध भाषाओं में दिखाई देते हैं।[40]
  • अंकगणित संयोजक में, ह्रुशोव्स्की ने अनुमानित समूह की संरचना पर परिणाम सिद्ध किए, उदाहरण के लिए बहुपद वृद्धि के समूहों पर ग्रोमोव के प्रमेय का दृढ़ संस्करण प्रस्तुत किया। चूंकि इसमें सीधे तौर पर स्थिर सिद्धांतों का उपयोग नहीं किया गया था, मुख्य अंतर्दृष्टि यह थी कि स्थिर समूह सिद्धांत के मौलिक परिणामों को सामान्यीकृत किया जा सकता था और इस समायोजन में लागू किया जा सकता था।[41] इसने सीधे अनुमानित उपसमूहों को वर्गीकृत करने वालेकरने वाले ब्रुइलार्ड-ग्रीन-ताओ प्रमेय को वृद्धि दिया।[42]

सामान्यीकरण

इस प्रारंभ के बाद लगभग बीस वर्षों तक, स्थिरता शुद्ध मॉडल सिद्धांत का मुख्य विषय था।[43] आधुनिक शुद्ध मॉडल सिद्धांत की केंद्रीय दिशा, जिसे कभी-कभी नवस्थिरता या वर्गीकरण सिद्धांत भी कहा जाता है,[lower-alpha 5]इसमें स्थिर सिद्धांतों के लिए विकसित अवधारणाओं और तकनीकों को सिद्धांतों के व्यापक वर्गों में सामान्यीकृत करना सम्मिलित है, और इसने मॉडल सिद्धांत के कई हालिया अनुप्रयोगों को सम्मिलित किया है।[44]

ऐसे व्यापक वर्गों के दो उल्लेखनीय उदाहरण सरल और एनआईपी सिद्धांत हैं। ये स्थिर सिद्धांतों के लंबकोणीय सामान्यीकरण हैं, क्योंकि सिद्धांत सरल और एनआईपी दोनों है यदि और केवल यदि यह स्थिर है।[43]मोटे तौर पर, एनआईपी सिद्धांत स्थिर सिद्धांतों से उचित संयोजन व्यवहार को बनाए रखते हैं, जबकि सरल सिद्धांत गैर-फोर्किंग स्वतंत्रता के उचित ज्यामितीय व्यवहार को बनाए रखते हैं।[45] विशेष रूप से, सरल सिद्धांतों को गैर-फोर्किंग स्वतंत्रता के सममित होने की विशेषता दी जा सकती है,[46] जबकि एनआईपी को को परिमित[47] या अनंत[48] समुच्चय पर प्राप्त टाइप की संख्या को सीमित करके चित्रित किया जा सकता है।

सामान्यीकरण की अन्य दिशा पूर्ण प्रथम-क्रम सिद्धांतों की स्थापना से परे वर्गीकरण सिद्धांत को दोहराना है, जैसे कि अमूर्त प्रारंभिक कक्षाओं में है।[49]

यह भी देखें

  • स्थिरता स्पेक्ट्रम
  • सिद्धांत का स्पेक्ट्रम
  • मॉर्ले की श्रेणीबद्धता प्रमेय
  • एनआईपी (मॉडल सिद्धांत)

टिप्पणियाँ

  1. One such result is Shelah's proof of Morley's conjecture for countable theories, stating that the number of models of cardinality is non-decreasing for uncountable .[4]
  2. In work on Łoś's conjecture preceding Morley's proof, Andrzej Ehrenfeucht introduced a property slightly stronger than the order property, which Shelah later called property (E). This was another precursor of (uns)stable theories.[10]
  3. One benefit of the definition of stability via the order property is that it is more clearly set-theoretically absolute.[11]
  4. The term "pregeometry" is often used instead of "matroid" in this setting.
  5. The term "classification theory" has two uses. The narrow use described earlier refers to Shelah's program of identifying classifiable theories, and takes place almost entirely within stable theories. The broader use described here refers to the larger program of classifying theories by dividing lines possibly more general than stability.[11]


संदर्भ

  1. Baldwin, John (2021). "The dividing line methodology: Model theory motivating set theory" (PDF). Theoria. 87 (2): 1. doi:10.1111/theo.12297. S2CID 211239082.
  2. van den Dries, Lou (2005). "मॉडल-सैद्धांतिक स्थिरता का परिचय" (PDF). Introduction. Retrieved 9 January 2023.
  3. 3.0 3.1 Pillay, Anand (1983). "Preface". स्थिरता सिद्धांत का एक परिचय.
  4. 4.0 4.1 4.2 Baldwin, John (2021). "The dividing line methodology: Model theory motivating set theory" (PDF). Theoria. 87 (2). Section 1.1. doi:10.1111/theo.12297. S2CID 211239082.
  5. Marker, David (2006). Model Theory: An Introduction. Definition 4.2.17.
  6. Marker, David (2006). Model Theory: An Introduction. Definition 5.3.1.
  7. Tent, Katrin; Ziegler, Martin (2012). मॉडल थ्योरी में एक पाठ्यक्रम. Theorem 8.6.5.
  8. Tent, Katrin; Ziegler, Martin (2012). मॉडल थ्योरी में एक पाठ्यक्रम. Definition 8.2.1.
  9. Tent, Katrin; Ziegler, Martin (2012). मॉडल थ्योरी में एक पाठ्यक्रम. Exercise 8.2.1.
  10. Shelah, Saharon (1974). "Categoricity of uncountable theories" (PDF). Proceedings of the Tarski symposium.
  11. 11.0 11.1 Hodges, Wilfrid. "First-order Model Theory". Stanford Encyclopedia of Philosophy. Section 5.1. Retrieved 9 January 2023.
  12. Casanovas, Enrique. "स्थिर और सरल सिद्धांत (व्याख्यान नोट्स)" (PDF). Proposition 6.6. Retrieved 11 January 2023.
  13. Tent, Katrin; Ziegler, Martin (2012). मॉडल थ्योरी में एक पाठ्यक्रम. Theorem 8.5.10.
  14. Tent, Katrin; Ziegler, Martin (2012). मॉडल थ्योरी में एक पाठ्यक्रम. Chapter 8.2.
  15. Baldwin, John (2017). स्थिरता सिद्धांत के मूल सिद्धांत. Chapter 3.1.
  16. Marker, David (2006). Model Theory: An Introduction. Example 4.1.12.
  17. Marker, David (2006). Model Theory: An Introduction. Lemma 5.2.12.
  18. Tent, Katrin; Ziegler, Martin (2012). मॉडल थ्योरी में एक पाठ्यक्रम. Exercise 8.2.3.
  19. Marker, David (2006). Model Theory: An Introduction. Example 4.1.14.
  20. Tent, Katrin; Ziegler, Martin (2012). मॉडल थ्योरी में एक पाठ्यक्रम. Example 8.6.6.
  21. Sela, Zlil (2013). "Diophantine geometry over groups VIII: Stability" (PDF). Annals of Mathematics. 177 (3): 787–868. doi:10.4007/annals.2013.177.3.1. S2CID 119143329.
  22. Shelah, Saharon (1973). "विभेदित रूप से बंद फ़ील्ड" (PDF). Israel Journal of Mathematics. 16 (3): 314–328. doi:10.1007/BF02756711. S2CID 119906669.
  23. Adler, Hans; Adler, Isolde (2014). "मॉडल सिद्धांत की शास्त्रीय धारणा के रूप में सघन ग्राफ वर्गों की व्याख्या करना". European Journal of Combinatorics. 36: 322–330. doi:10.1016/j.ejc.2013.06.048.
  24. Pillay, Anand (2001). "ज्यामितीय मॉडल सिद्धांत के पहलू". Logic Colloquium ’99.
  25. Pillay, Anand (1996). ज्यामितीय स्थिरता सिद्धांत. p. 343.
  26. Scanlon, Thomas. "ज़िल्बर का ट्राइकोटॉमी अनुमान". Retrieved 27 January 2023.
  27. Hrushovski, Ehud (1998). "ज्यामितीय मॉडल सिद्धांत". Proceedings of the International Congress of Mathematicians. Vol. 1.
  28. Scanlon, Thomas. "संयुक्त ज्यामितीय स्थिरता". Retrieved 27 January 2023.
  29. Ben-Yaacov, Itaï; Tomašić, Ivan; Wagner, Frank (2002). "सरल सिद्धांतों और उसके अनुप्रयोगों में समूह विन्यास" (PDF). 8. 2.
  30. Scanlon, Thomas. "ज़िल्बर की ट्राइकोटॉमी प्रमेय". Retrieved 27 January 2023.
  31. Scanlon, Thomas. "संयुक्त ज्यामितीय स्थिरता". Retrieved 27 January 2023.
  32. Pillay, Anand (2001). "ज्यामितीय मॉडल सिद्धांत के पहलू". Logic Colloquium ’99.
  33. Sacks, Gerald (1972). "एक विभेदक क्षेत्र का विभेदक समापन" (PDF). Bulletin of the American Mathematical Society. 78 (5): 629–634. doi:10.1090/S0002-9904-1972-12969-0. S2CID 17860378.
  34. Hrushovski, Ehud (1996). "फ़ंक्शन फ़ील्ड के लिए मोर्डेल-लैंग अनुमान" (PDF). Journal of the American Mathematical Society. 9 (3): 667–690. doi:10.1090/S0894-0347-96-00202-0.
  35. Scanlon, Thomas. "मोर्डेल-लैंग और वेरिएंट". Retrieved 27 January 2023.
  36. Chase, Hunter; Freitag, James (2019). "मॉडल सिद्धांत और मशीन लर्निंग". Bulletin of Symbolic Logic. 25 (3): 319–332. arXiv:1801.06566. doi:10.1017/bsl.2018.71. S2CID 119689419.
  37. Alon, Noga; Bun, Mark; Livni, Roi; Malliaris, Maryanthe; Moran, Shay (2022). "निजी और ऑनलाइन सीखने की क्षमता समतुल्य है" (PDF). Journal of the ACM. 69 (4): 1–34. doi:10.1145/3526074. S2CID 247186721.
  38. Iovino, José (2014). कार्यात्मक विश्लेषण के लिए मॉडल सिद्धांत के अनुप्रयोग (PDF). Chapters 13,15.
  39. Ben Yaacov, Itaï (2014). "ए ग्रोथेंडिक के बाद मॉडल सैद्धांतिक स्थिरता और प्रकारों की निश्चितता". Bulletin of Symbolic Logic. 20 (4). arXiv:1306.5852.
  40. Cherlin, Gregory (2000). "छिटपुट सजातीय संरचनाएँ" (PDF). The Gelfand mathematical seminars, 1996--1999.
  41. Hrushovski, Ehud (2012). "स्थिर समूह सिद्धांत और अनुमानित उपसमूह" (PDF). Journal of the American Mathematical Society. 25 (1).
  42. Breuillard, Emmanuel; Green, Ben; Tao, Terence (2012). "अनुमानित समूहों की संरचना" (PDF). Publications mathématiques de l'IHÉS. 116. Acknowledgments. arXiv:1110.5008. doi:10.1007/s10240-012-0043-9. S2CID 254166823.
  43. 43.0 43.1 Simon, Pierre (2015). "Introduction". एनआईपी सिद्धांतों के लिए एक गाइड (PDF).
  44. Hart, Bradd; Hrushovski, Ehud; Onshuus, Alf; Pillay, Anand; Scanlon, Thomas; Wagner, Frank. "नवस्थिरता सिद्धांत" (PDF).
  45. Adler, Hans (2008). "स्वतंत्रता संपत्ति के बिना सिद्धांतों का परिचय" (PDF). Archive for Mathematical Logic. 5: 21.
  46. Kim, Byunghan (2001). "वहां सरलता और स्थिरता है". The Journal of Symbolic Logic. 66 (2): 822–836. doi:10.2307/2695047. JSTOR 2695047. S2CID 7033889.
  47. Chernikov, Artem; Simon, Pierre (2015). "बाह्य रूप से निश्चित समुच्चय और आश्रित जोड़े II" (PDF). Transactions of the American Mathematical Society. 367 (7). Fact 3. doi:10.1090/S0002-9947-2015-06210-2. S2CID 53968137.
  48. Simon, Pierre (2015). एनआईपी सिद्धांतों के लिए एक गाइड (PDF). Proposition 2.69.
  49. Shelah, Saharon (2009). सार प्राथमिक कक्षाओं के लिए वर्गीकरण सिद्धांत खंड 1 (PDF).


बाहरी संबंध