प्रकार और संतृप्त मॉडल
एक प्रकार सूत्रों का एक सुसंगत संग्रह है जो एक तत्व के संभावित व्यवहार का वर्णन करता है, और संतृप्त मॉडल समृद्ध संरचनाएं हैं जो अपनी क्षमता के अनुसार अधिक से अधिक प्रकारों को साकार करती हैं।
Definition
एक संरचना में एक पैरामीटर सेट पर एक प्रकार उन मापदंडों के साथ सीमित चर में सूत्रों का एक अधिकतम सुसंगत सेट है; एक मॉडल संतृप्त होता है यदि वह छोटे कार्डिनैलिटी के प्रत्येक पैरामीटर सेट पर प्रत्येक प्रकार को साकार करता है, जिससे यह यथासंभव सजातीय और सार्वभौमिक हो जाता है।
Scope
यह विषय मापदंडों के एक सेट पर पूर्ण और आंशिक प्रकारों, प्रकारों के स्टोन स्पेस, प्रकारों को साकार करने और छोड़ने, प्रकारों को छोड़ने वाले प्रमेय, और संतृप्त और सजातीय मॉडल के निर्माण और विशिष्टता को शामिल करता है, साथ ही मॉडल की गणना और स्थिरता सिद्धांत में उनकी भूमिका भी शामिल है।
Core questions
- प्रकारों का स्थान एक मॉडल के बारे में क्या जानकारी एन्कोड करता है?
- कब एक प्रकार जो सुसंगत है, दिए गए मॉडल में साकार होने में विफल हो सकता है?
- संतृप्त मॉडल कैसे निर्मित होते हैं और वे अद्वितीय क्यों हैं?
- प्रकार और संतृप्ति सिद्धांतों के वर्गीकरण का समर्थन कैसे करते हैं?
Key theories
- प्रकारों का स्टोन स्पेस
- एक सेट पर पूर्ण प्रकार एक सघन पूर्णतः असंबद्ध स्थलाकृतिक स्थान बनाते हैं जिसके बिंदु प्रकार होते हैं और जिसकी संरचना परिभाषित सेटों को नियंत्रित करती है, जो मॉडल सिद्धांत को टोपोलॉजी से जोड़ती है।
- प्रकारों को छोड़ने वाला प्रमेय
- एक गणनीय सिद्धांत में एक गणनीय मॉडल होता है जो एक दिए गए गैर-पृथक प्रकार को छोड़ देता है, जो निर्धारित व्यवहार से बचने वाले मॉडल बनाने की एक विधि प्रदान करता है।
- संतृप्त मॉडल का अस्तित्व और विशिष्टता
- उपयुक्त कार्डिनल अंकगणित के तहत एक सिद्धांत में एक दी गई कार्डिनैलिटी में एक संतृप्त मॉडल होता है, और समान कार्डिनैलिटी के कोई भी दो संतृप्त मॉडल जो मौलिक रूप से समतुल्य हैं, समरूपी होते हैं।
Clinical relevance
प्रकार और संतृप्ति आधुनिक मॉडल सिद्धांत के केंद्रीय तकनीकी उपकरण हैं: संतृप्त मॉडल एक सार्वभौमिक क्षेत्र के रूप में कार्य करते हैं, जिसे मॉन्स्टर मॉडल कहा जाता है, जिसमें परिभाषित सेट और एक सिद्धांत की ज्यामिति का अध्ययन किया जाता है, और सेटों पर प्रकारों की गणना शेलाह के स्थिरता सिद्धांत और उसके अनुप्रयोगों का आधार है।
History
संतृप्त और सजातीय मॉडल 1960 के आसपास जोन्सन, वॉघ और मोर्ले द्वारा विकसित किए गए थे, और प्रकारों को छोड़ने वाला प्रमेय उसी अवधि से संबंधित है। सेटों पर प्रकारों की गणना शेलाह के वर्गीकरण सिद्धांत का आयोजन विचार बन गया, जो प्रत्येक कार्डिनैलिटी में एक सिद्धांत के मॉडल की संख्या का अध्ययन करने के लिए संतृप्ति का उपयोग करता है।
Key figures
- Michael Morley
- Saharon Shelah
- Robert Vaught
- Bjarni Joensson
Related topics
Seminal works
- marker2002
- changkeisler1990
- tentziegler2012
Frequently asked questions
- एक प्रकार को साकार करने का क्या अर्थ है?
- एक प्रकार उन शर्तों को सूचीबद्ध करता है जिन्हें एक तत्व को पूरा करना चाहिए। एक संरचना का एक तत्व प्रकार को साकार करता है यदि वह उन सभी शर्तों को एक साथ पूरा करता है; यदि कोई तत्व ऐसा नहीं करता है, तो प्रकार को छोड़ दिया जाता है। संतृप्त मॉडल अपनी कार्डिनैलिटी के अनुसार अधिक से अधिक प्रकारों को साकार करते हैं।
- संतृप्त मॉडल क्यों उपयोगी हैं?
- क्योंकि वे सभी छोटे प्रकारों को साकार करते हैं, उनमें सिद्धांत के अनुरूप प्रत्येक छोटे विन्यास की एक प्रति होती है, इसलिए एक ही संतृप्त मॉडल के भीतर काम करने से सभी प्रासंगिक तत्वों को पहले से मौजूद माना जा सकता है, जिससे परिभाषित सेटों के बारे में तर्कों को बहुत सरल बनाया जा सकता है।