स्थिर सिद्धांत

For विभेदक समीकरण, see स्थिर सिद्धांत.

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

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

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

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

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

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

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

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

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

किसी दिए गए अनंत गणनसंख्या $\kappa$ के लिए, T, $\kappa$-स्थिर है यदि T के मॉडल में गणनांक $\kappa$ के प्रत्येक सेट A के लिए, A पर पूर्ण प्रकार के सेट S(A) में भी गणनांक $\kappa$ है। यह S(A) की सबसे छोटी गणनांक है, जबकि यह $2^{\kappa }$जितनी बड़ी हो सकती है। मामले $\kappa =\aleph _{0}$ के लिए, यह कहना आम बात है कि T, $\omega$-स्थिर के बजाय $\aleph _{0}$-स्थिरहै।

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

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

स्थिर सिद्धांतों की सामान्य वैकल्पिक परिभाषा यह है कि उनके पास क्रम गुण नहीं है। यदि कोई सूत्र है तो सिद्धांत में क्रम गुण होता है $\phi ({\bar {x}},{\bar {y}})$ और टुपल्स $A=({\bar {a}}_{i}:i\in \mathbb {N} )$,$B=({\bar {b}}_{j}:j\in \mathbb {N} )$ के दो अनंत अनुक्रम होते हैं, जैसे कि M में ऐसा है $\phi$ पर अनंत आधे ग्राफ़ को परिभाषित करता है $A\times B$, अर्थात। $\phi ({\bar {a}}_{i},{\bar {b}}_{j})$ M$\iff i\leq j$ में सत्य है। यह सूत्र $\psi ({\bar {x}},{\bar {y}})$ होने के बराबर है और टुपल्स का अनंत क्रम $A=({\bar {a}}_{i}:i\in \mathbb {N} )$ कुछ मॉडल M में $\psi$ A ऐसा है पर अनंत रैखिक क्रम को परिभाषित करता है, अर्थात $\psi ({\bar {a}}_{i},{\bar {a}}_{j})$ M$\iff i\leq j$ में सत्य है।

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

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

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

अस्थिर सिद्धांत के लिए, अंतिम बिंदुओं के बिना सघन क्रम के सिद्धांत डीएलओ पर विचार करें। तब परमाणु सूत्र क्रम संबंध में क्रम गुण होता है। वैकल्पिक रूप से, समुच्चय A पर अवास्तविक 1-टाइप, A के क्रम में कट (सामान्यीकृत डेडेकाइंड कट, इस आवश्यकता के बिना कि दोनों समुच्चय गैर-खाली हों और निचले समुच्चय में कोई सबसे बड़ा तत्व नहीं है) के अनुरूप हैं, और किसी भी गणनांक $\kappa$ साथ $2^{\kappa }$-कई कट के सघन क्रम मौजूद हैं।

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

स्थिर सिद्धांत के लिए, सिद्धांत पर विचार करें $ACF_{p}$ विशेषता (बीजगणित) p के बीजगणितीय रूप से बंद क्षेत्रों की अनुमति $p=0$ है। फिर यदि K का मॉडल $ACF_{p}$ है , समुच्चय पर टाइप की गिनती $A\subset K$, K में A द्वारा उत्पन्न क्षेत्र k पर टाइप की गिनती के बराबर है। k के ऊपर n-टाइप के समष्टि से बहुपद वलय $k[X_{1},\dots ,X_{n}]$में अभाज्य आदर्शों के समष्टि तक (निरंतर) आक्षेप है, चूँकि ऐसे आदर्श सीमित रूप से उत्पन्न होते हैं, केवल $|k|+\aleph _{0}$ बहुत होते हैं, तो $ACF_{p}$, $\kappa$-स्थिर सभी अनंत $\kappa$ के लिए है।

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

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

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

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

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

अनुप्रयोग

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

• चूंकि विशेषता 0 के विभेदित रूप से बंद क्षेत्रों का सिद्धांत है $\omega$-स्थिर, विभेदक बीजगणित में स्थिरता सिद्धांत के कई अनुप्रयोग हैं। उदाहरण के लिए, ऐसे क्षेत्र के विभेदक समापन (बीजगणितीय समापन का एक एनालॉग) के अस्तित्व और विशिष्टता को क्रमशः प्राइम मॉडल पर सामान्य परिणामों का उपयोग करके लेनोर ब्लम और शेला द्वारा सिद्ध किया गया था। $\omega$-स्थिर सिद्धांत.
• डायोफैंटाइन ज्यामिति में, एहुद ह्रुशोवस्की ने सभी विशेषताओं में फलन क्षेत्र के लिए मोर्डेल-लैंग अनुमान को साबित करने के लिए ज्यामितीय स्थिरता सिद्धांत का उपयोग किया, जो वक्रों पर तर्कसंगत बिंदुओं की गिनती के बारे में फाल्टिंग्स के प्रमेय और वक्रों पर मरोड़ बिंदुओं की गिनती के बारे में मैनिन-ममफोर्ड अनुमान को सामान्य बनाता है। प्रमाण में मुख्य बिंदु कुछ अंकगणितीय रूप से परिभाषित समूहों को स्थानीय रूप से मॉड्यूलर दिखाने के लिए विभेदक क्षेत्रों में ज़िल्बर की ट्राइकोटॉमी का उपयोग करना था।
• ऑनलाइन मशीन लर्निंग में, कॉन्सेप्ट क्लास का लिटिलस्टोन आयाम सीखने की क्षमता को दर्शाने वाला एक सम्मिश्रता माप है, जो पीएसी सीखना में वीसी-आयाम के अनुरूप है। एक अवधारणा वर्ग के लिटलस्टोन आयाम को बांधना बाइनरी पेड़ों को शामिल करते हुए स्थिरता के संयोजन लक्षण वर्णन के बराबर है। उदाहरण के लिए, इस समतुल्यता का उपयोग यह साबित करने के लिए किया गया है कि एक अवधारणा वर्ग की ऑनलाइन सीखने की क्षमता विभेदक गोपनीयता पीएसी सीखने की क्षमता के बराबर है।
• कार्यात्मक विश्लेषण में, जीन-लुई क्रिविन और बर्नार्ड मौरे ने बानाच रिक्त समष्टि के लिए स्थिरता की धारणा को परिभाषित किया, जो यह बताने के बराबर है कि किसी भी क्वांटिफायर-मुक्त सूत्र में क्रम प्रॉपर्टी नहीं है (प्रथम-क्रम तर्क के बजाय निरंतर तर्क में)। फिर उन्होंने दिखाया कि प्रत्येक स्थिर बानाच समष्टि Sequence_space#ℓp_spaces| के लगभग-आइसोमेट्रिक एम्बेडिंग को स्वीकार करता है।ℓ^p कुछ के लिए $p\in [1,\infty )$. यह कार्यात्मक विश्लेषण और सतत तर्क में स्थिरता के बीच व्यापक परस्पर क्रिया का हिस्सा है; उदाहरण के लिए, कार्यात्मक विश्लेषण में अलेक्जेंडर ग्रोथेंडिक के शुरुआती परिणामों की व्याख्या स्थिरता सिद्धांत के मौलिक परिणामों के बराबर की जा सकती है।
• एक गणनीय (संभवतः परिमित) संरचना अतिसजातीय होती है यदि प्रत्येक परिमित आंशिक ऑटोमोर्फिज्म पूर्ण संरचना के ऑटोमोर्फिज्म तक विस्तारित होता है। ग्रेगरी चेरलिन और एलिस्टेयर लाचलान ने सभी परिमित संरचनाओं सहित स्थिर अल्ट्राहोमोजीनस संरचनाओं के लिए एक सामान्य वर्गीकरण सिद्धांत प्रदान किया। विशेष रूप से, उनके परिणाम बताते हैं कि किसी भी निश्चित परिमित संबंधपरक भाषा के लिए, परिमित सजातीय संरचनाएं संख्यात्मक अपरिवर्तनवादियों और परिमित रूप से कई छिटपुट उदाहरणों द्वारा पैरामीट्रिज किए गए सदस्यों के साथ कई अनंत परिवारों में आती हैं। इसके अलावा, प्रत्येक छिटपुट उदाहरण किसी समृद्ध भाषा में एक अनंत परिवार का हिस्सा बन जाता है, और नए छिटपुट उदाहरण हमेशा उपयुक्त रूप से समृद्ध भाषाओं में दिखाई देते हैं।
• अंकगणित कॉम्बिनेटरिक्स में, ह्रुशोव्स्की ने अनुमानित समूह की संरचना पर परिणाम साबित किए, उदाहरण के लिए बहुपद वृद्धि के समूहों पर ग्रोमोव के प्रमेय का एक दृढ़ संस्करण प्रस्तुत किया। हालाँकि इसमें सीधे तौर पर स्थिर सिद्धांतों का उपयोग नहीं किया गया था, मुख्य अंतर्दृष्टि यह थी कि स्थिर समूह सिद्धांत के मौलिक परिणामों को सामान्यीकृत किया जा सकता था और इस समायोजन में लागू किया जा सकता था। इसने सीधे अनुमानित उपसमूहों को वर्गीकृत करने वाले Approximate_group#Classification_of_approximate_subgroups|Bruillard-Green-Tao प्रमेय को वृद्धि दिया।

सामान्यीकरण

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

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

यह भी देखें

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

बाहरी संबंध

• A map of the model-theoretic classification of theories, highlighting stability
• Two book reviews discussing stability and classification theory for non-model theorists: Fundamentals of Stability Theory and Classification Theory
• An overview of (geometric) stability theory for non-model theorists