वृहद गणनीय क्रमसूचक

From Vigyanwiki
Revision as of 12:35, 18 May 2023 by alpha>Indicwiki (Created page with "{{Short description|Ordinals in mathematics and set theory}} समुच्चय सिद्धान्त के गणितीय अनुशासन में,...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

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

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

पुनरावर्ती अध्यादेशों पर सामान्यता

क्रमसूचक संकेतन

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

एक अलग परिभाषा स्टीफन कोल क्लेन की क्रमसूचक संकेतन प्रणाली का उपयोग करती है। संक्षेप में, एक क्रमिक संकेतन या तो नाम शून्य है (क्रमिक 0 का वर्णन), या एक क्रमसूचक संकेतन का उत्तराधिकारी (उस संकेतन द्वारा वर्णित क्रमसूचक के उत्तराधिकारी का वर्णन), या एक ट्यूरिंग मशीन (गणना योग्य कार्य) जो एक बढ़ते क्रम का उत्पादन करती है क्रमसूचक संकेतन (जो क्रमसूचक का वर्णन करते हैं जो अनुक्रम की सीमा है), और क्रमसूचक संकेतन (आंशिक रूप से) आदेशित हैं ताकि o के उत्तराधिकारी को o से बड़ा बनाया जा सके और सीमा को अनुक्रम के किसी भी पद से अधिक बनाया जा सके (यह क्रम संगणनीय है; हालांकि, क्रमसूचक संकेतन का सेट 'O' स्वयं अत्यधिक गैर-पुनरावर्ती है, यह तय करने की असंभवता के कारण कि क्या दी गई ट्यूरिंग मशीन वास्तव में संकेतन के अनुक्रम का उत्पादन करती है); एक पुनरावर्ती क्रमसूचक तब एक क्रमसूचक होता है जिसे कुछ क्रमसूचक संकेतन द्वारा वर्णित किया जाता है।

रिकर्सिव ऑर्डिनल से छोटा कोई भी ऑर्डिनल खुद ही रिकर्सिव होता है, इसलिए सभी रिकर्सिव ऑर्डिनल्स का सेट एक निश्चित (काउंटेबल) ऑर्डिनल, चर्च-क्लीन ऑर्डिनल (नीचे देखें) बनाता है।

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

अंकगणित की प्रणालियों से संबंध

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

कुछ संगणनीय क्रमांक इतने बड़े होते हैं कि जब वे एक निश्चित क्रमिक संकेतन ओ द्वारा दिए जा सकते हैं, तो एक दी गई औपचारिक प्रणाली यह दिखाने के लिए पर्याप्त शक्तिशाली नहीं हो सकती है कि ओ, वास्तव में, एक क्रमसूचक संकेतन है: प्रणाली इतने बड़े के लिए ट्रांसफिनिट इंडक्शन नहीं दिखाती है ordinals.

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

लेकिन हम पीआनो के स्वयंसिद्धों से कहीं आगे के सिस्टम के लिए ऐसा कर सकते हैं। उदाहरण के लिए, क्रिप्के-प्लेटेक सेट सिद्धांत की सबूत-सैद्धांतिक शक्ति बाचमन-हावर्ड क्रमसूचक है, और वास्तव में, केवल पीआनो के स्वयंसिद्ध सिद्धांतों को जोड़ना है जो बछमन-हावर्ड क्रमसूचक के नीचे सभी क्रमों के क्रम को बताता है। क्रिपके-प्लेटेक सेट सिद्धांत के सभी अंकगणितीय परिणाम प्राप्त करने के लिए।

विशिष्ट पुनरावर्ती अध्यादेश

विधेयात्मक परिभाषाएँ और वेब्लेन पदानुक्रम

हमने पहले ही उल्लेख किया है (क्रमिक अंकगणित#कैंटर सामान्य रूप देखें) क्रमसूचक एप्सिलॉन संख्या (गणित)|ε0, जो समीकरण को संतुष्ट करने वाला सबसे छोटा है , तो यह अनुक्रम 0, 1 की सीमा है, , , , ... इस समीकरण को संतुष्ट करने वाले अगले क्रमिक को ε कहा जाता है1: यह अनुक्रम की सीमा है

अधिक आम तौर पर, -वाँ क्रमवाचक ऐसा है कहा जाता है . हम परिभाषित कर सकते हैं सबसे छोटे क्रमसूचक के रूप में , लेकिन चूंकि ग्रीक वर्णमाला में कई अक्षर नहीं हैं, इसलिए अधिक मजबूत संकेतन का उपयोग करना बेहतर है: क्रमांक को परिभाषित करें ट्रांसफिनिट इंडक्शन द्वारा इस प्रकार है: चलो और जाने हो -वाँ निश्चित बिंदु (यानी, -वाँ क्रमवाचक ऐसा है ; तो उदाहरण के लिए, ), और जब एक सीमा क्रमसूचक है, परिभाषित करें के रूप में -वाँ आम निश्चित बिंदु सभी के लिए . कार्यों के इस परिवार को वेब्लेन पदानुक्रम के रूप में जाना जाता है (परिभाषा में अनावश्यक भिन्नताएं हैं, जैसे कि अनुमति देना, for एक सीमा क्रमसूचक, की सीमा हो के लिए : यह अनिवार्य रूप से केवल सूचकांकों को 1 से बदलता है, जो हानिरहित है)। कहा जाता है Veblen समारोह (आधार के लिए ).

आदेश देना: अगर और केवल अगर या तो ( और ) या ( और ) या ( और ).

फेफ़रमैन-शुट्टे क्रमसूचक और परे

सबसे छोटा क्रमसूचक ऐसा Feferman-Schütte ordinal के रूप में जाना जाता है और आम तौर पर लिखा जाता है . इसे सभी अध्यादेशों के सेट के रूप में वर्णित किया जा सकता है, जिसे केवल वेब्लेन पदानुक्रम और जोड़ का उपयोग करके, शून्य से शुरू करके, परिमित भाव के रूप में लिखा जा सकता है। Feferman-Schütte ordinal महत्वपूर्ण है क्योंकि, एक अर्थ में जो सटीक बनाने के लिए जटिल है, यह सबसे छोटा (अनंत) क्रमसूचक है जिसे छोटे ordinals का उपयोग करके वर्णित नहीं किया जा सकता है। यह रिवर्स मैथमैटिक्स#अरिथमेटिकल ट्रांसफ़िनिट रिकर्सन ATR0 जैसी प्रणालियों की ताकत को मापता है।

अधिक सामान्यतः, जीα उन ऑर्डिनल्स की गणना करता है जिन्हें अतिरिक्त और वेब्लेन फ़ंक्शंस का उपयोग करके छोटे ऑर्डिनल्स से प्राप्त नहीं किया जा सकता है।

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

इम्प्रिडिकेटिव ऑर्डिनल्स

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

  • ψ(α) को सबसे छोटे क्रमसूचक के रूप में परिभाषित किया गया है जिसे 0, 1, ω और Ω से शुरू करके और बार-बार जोड़, गुणा और घातांक लागू करके और ψ को पहले से बनाए गए अध्यादेशों को छोड़कर नहीं बनाया जा सकता है (सिवाय इसके कि ψ केवल लागू किया जा सकता है) α से कम तर्कों के लिए, यह सुनिश्चित करने के लिए कि यह अच्छी तरह से परिभाषित है)।

यहाँ Ω = ω1 पहला बेशुमार क्रमसूचक है। इसे इसलिए रखा गया है क्योंकि अन्यथा फ़ंक्शन ψ सबसे छोटे क्रमिक σ पर अटक जाता है जैसे कि εσ=σ: विशेष रूप से ψ(α)=σ किसी भी क्रमिक α संतोषजनक σ≤α≤Ω के लिए। हालांकि तथ्य यह है कि हमने Ω को शामिल किया है, हमें इस बिंदु को पार करने की अनुमति देता है: ψ(Ω+1) σ से बड़ा है। Ω की मुख्य संपत्ति जिसका हमने उपयोग किया है वह यह है कि यह ψ द्वारा उत्पादित किसी भी क्रमसूचक से अधिक है।

अभी भी बड़े अध्यादेशों का निर्माण करने के लिए, हम बेशुमार अध्यादेशों के निर्माण के और तरीकों को फेंक कर ψ की परिभाषा का विस्तार कर सकते हैं। ऐसा करने के कई तरीके हैं, जिनका वर्णन ऑर्डिनल कोलैप्सिंग फंक्शन पर लेख में कुछ हद तक किया गया है।

'बैचमैन-हावर्ड ऑर्डिनल' (कभी-कभी इसे 'हावर्ड ऑर्डिनल' भी कहा जाता है, ψ0(इΩ+1) उपरोक्त संकेतन के साथ) एक महत्वपूर्ण है, क्योंकि यह क्रिप्के-प्लेटेक सेट सिद्धांत के प्रमाण-सैद्धांतिक शक्ति का वर्णन करता है। वास्तव में, इन बड़े अध्यादेशों का मुख्य महत्व, और उनका वर्णन करने का कारण, कुछ औपचारिक प्रणालियों से उनका संबंध है जैसा कि ऊपर बताया गया है। हालांकि, पूर्ण द्वितीय क्रम अंकगणित के रूप में इस तरह की शक्तिशाली औपचारिक प्रणालियां, जर्मेलो-फ्रेंकेल सेट सिद्धांत को अकेले छोड़ दें, इस समय पहुंच से परे प्रतीत होती हैं।

=== बचमन-हावर्ड क्रमसूचक === से भी परे इसके अलावा, कई पुनरावर्ती अध्यादेश हैं जो पिछले वाले के रूप में अच्छी तरह से ज्ञात नहीं हैं। इनमें से पहला है Ψ0(Ωω) | बुखोल्ज़ क्रमसूचक, इस रूप में परिभाषित , संक्षिप्त रूप में बस , पिछले नोटेशन का उपयोग करना। का प्रमाण-सैद्धांतिक क्रमसूचक है ,[1] अंकगणित का प्रथम-क्रम सिद्धांत प्राकृतिक संख्याओं के साथ-साथ प्राकृतिक संख्याओं के सेट पर परिमाणीकरण की अनुमति देता है, और , परिमित रूप से पुनरावृत्त आगमनात्मक परिभाषाओं का औपचारिक सिद्धांत।[2] इसके बाद टेकुटी-फेफरमैन-बुखोल्ज़ क्रमसूचक है। ;[3] और दूसरे क्रम के अंकगणित का एक और सबसिस्टम: - समझ + ट्रांसफिनिट इंडक्शन, और , का औपचारिक सिद्धांत बार-बार पुनरावृत्त आगमनात्मक परिभाषाएँ।[4] इस संकेतन में, इसे परिभाषित किया गया है . यह बुखोल्ज़ के साई कार्यों की श्रेणी का सर्वोच्च है।[5] इसका नाम सबसे पहले डेविड मैडोर ने रखा था।[citation needed]

Agda में बड़े गणनीय अध्यादेश और संख्या का वर्णन करने वाले कोड के एक टुकड़े में अगले अध्यादेश का उल्लेख किया गया है, और AndrasKovacs द्वारा परिभाषित किया गया है .

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

इस बिंदु तक के अधिकांश अध्यादेशों को बुखोल्ज़ हाइड्रा (उदा. )

अगला एक अनाम अध्यादेश है, जिसे डेविड मैडोर ने गणनीय पतन के रूप में संदर्भित किया है ,[6]कहाँ पहला अप्राप्य है (=-अवर्णनीय) कार्डिनल। यह क्रिप्के-प्लेटक सेट थ्योरी का प्रूफ-थ्योरिटिक ऑर्डिनल है। क्रिपके-प्लेटेक सेट थ्योरी ऑर्डिनल्स (केपीआई) के वर्ग की पुनरावर्ती दुर्गमता द्वारा संवर्धित, या, अंकगणितीय पक्ष पर, -समझ + ट्रांसफिनिट इंडक्शन। इसका मूल्य बराबर है अज्ञात फ़ंक्शन का उपयोग करना।

अगला एक और अनाम अध्यादेश है, जिसे डेविड मैडोर ने गणनीय पतन के रूप में संदर्भित किया है ,[6]कहाँ पहला महलो कार्डिनल है। यह केपीएम का प्रूफ-थ्योरिटिक ऑर्डिनल है, क्रिप्के-प्लेटेक सेट थ्योरी का विस्तार है। कृपके-प्लेटेक सेट थ्योरी महलो कार्डिनल पर आधारित है।[7] इसका मूल्य बराबर है बुखोल्ज़ के विभिन्न साई कार्यों में से एक का उपयोग करना।[8] अगला एक और अनाम अध्यादेश है, जिसे डेविड मैडोर ने गणनीय पतन के रूप में संदर्भित किया है ,[6]कहाँ पहला कमजोर कॉम्पैक्ट है (=-अवर्णनीय) कार्डिनल। यह क्रिप्के-प्लेटेक सेट सिद्धांत का प्रमाण-सैद्धांतिक क्रम है। क्रिप्के-प्लेटेक सेट सिद्धांत + Π3 - Ref। इसका मूल्य बराबर है राथजेन के साई समारोह का उपयोग करना।[9] अगला एक और अनाम अध्यादेश है, जिसे डेविड मैडोर ने गणनीय पतन के रूप में संदर्भित किया है ,[6]कहाँ पहला है -अवर्णनीय कार्डिनल। यह क्रिप्के-प्लेटक सेट सिद्धांत का प्रूफ-सैद्धांतिक क्रम है। क्रिप्के-प्लेटक सेट सिद्धांत + Πω-Ref। इसका मूल्य बराबर है स्टीगर्ट के साई फ़ंक्शन का उपयोग करते हुए, जहां = (; ; , , 0).[10] अगला अंतिम अनाम क्रमसूचक है, जिसे डेविड मैडोर द्वारा स्थिरता के प्रमाण-सैद्धांतिक क्रमसूचक के रूप में संदर्भित किया गया है।[6]यह स्थिरता का प्रूफ-सैद्धांतिक क्रमसूचक है, क्रिप्के-प्लेटक सेट सिद्धांत का विस्तार है। इसका मूल्य बराबर है स्टीगर्ट के साई फ़ंक्शन का उपयोग करते हुए, जहां = (; ; , , 0).[10] अगला अध्यादेशों का एक समूह है जिसके बारे में ज्यादा जानकारी नहीं है, लेकिन अभी भी काफी महत्वपूर्ण हैं (आरोही क्रम में):

  • दूसरे क्रम के अंकगणित का प्रमाण-सैद्धांतिक क्रम।
  • तारानोव्स्की के सी क्रमसूचक संकेतन की एक संभावित सीमा। (अनुमानात्मक, अंकन प्रणाली की अच्छी तरह से नींव मानते हुए)
  • ज़र्मेलो-फ्रेंकेल सेट सिद्धांत का प्रमाण-सैद्धांतिक क्रमसूचक।

अपरिवर्तनीय पुनरावर्ती अध्यादेश

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

पुनरावर्ती अध्यादेशों से परे

चर्च-क्लीन ऑर्डिनल

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

स्वीकार्य अध्यादेश

चर्च-क्लेन ऑर्डिनल फिर से क्रिपके-प्लेटक सेट सिद्धांत से संबंधित है, लेकिन अब एक अलग तरीके से: जबकि बाचमैन-हावर्ड ऑर्डिनल (#Impredicative ordinals वर्णित) सबसे छोटा ऑर्डिनल था जिसके लिए केपी ट्रांसफिनिट इंडक्शन साबित नहीं करता है, चर्च- क्लेन ऑर्डिनल सबसे छोटा α है जैसे कि रचनात्मक ब्रह्मांड का निर्माण | गोडेल ब्रह्मांड, एल, चरण α तक, एक मॉडल उत्पन्न करता है केपी का। इस तरह के अध्यादेशों को स्वीकार्य कहा जाता है सबसे छोटा स्वीकार्य क्रमिक है (केपी में अनंतता के स्वयंसिद्ध को शामिल नहीं किए जाने की स्थिति में ω से परे)।

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

=== स्वीकार्य अध्यादेशों से परे ===स्वीकार्य अध्यादेशों की सबसे छोटी सीमा है (बाद में उल्लेख किया गया है), फिर भी अध्यादेश स्वयं स्वीकार्य नहीं है। यह सबसे छोटा भी है ऐसा है कि का एक मॉडल है -समझ।[4][11] एक आदेश जो स्वीकार्य और स्वीकार्य दोनों की सीमा है, या समकक्ष ऐसा है है -वें स्वीकार्य क्रमिक, को पुनरावर्ती दुर्गम कहा जाता है, और कम से कम पुनरावर्ती दुर्गम को निरूपित किया जा सकता है .[12] एक क्रमसूचक जो पुनरावर्ती रूप से अप्राप्य दोनों है और पुनरावर्ती रूप से दुर्गम की सीमा को पुनरावर्ती रूप से अति दुर्गम कहा जाता है।[4]इस तरह से बड़े अध्यादेशों का एक सिद्धांत मौजूद है जो कि (छोटे) बड़े कार्डिनल संपत्ति के समानांतर है। उदाहरण के लिए, हम रिकर्सिवली Mahlo ordinals परिभाषित कर सकते हैं: ये हैं ऐसा है कि हर -रिकर्सिव क्लोज्ड अनबाउंड सबसेट ऑफ एक स्वीकार्य क्रमसूचक (एक कार्डिनल आंखें की परिभाषा का एक पुनरावर्ती एनालॉग) शामिल है। लेकिन ध्यान दें कि हम अभी भी यहां संभवतः गणनीय अध्यादेशों के बारे में बात कर रहे हैं। (जबकि ज़र्मेलो-फ्रेंकेल सेट सिद्धांत में दुर्गम या महलो कार्डिनल्स के अस्तित्व को साबित नहीं किया जा सकता है, जो कि पुनरावर्ती रूप से दुर्गम या पुनरावर्ती महलो ऑर्डिनल्स ZFC का एक प्रमेय है: वास्तव में, कोई भी नियमित कार्डिनल रिकर्सिवली महलो और अधिक है, लेकिन भले ही हम सीमित हों काउंटेबल ऑर्डिनल्स के लिए खुद, ZFC रिकर्सिवली महलो ऑर्डिनल्स के अस्तित्व को साबित करता है। हालांकि, वे क्रिपके-प्लेटेक सेट सिद्धांत की पहुंच से परे हैं।)

प्रतिबिंब

सूत्रों के एक सेट के लिए , एक सीमा क्रमसूचक कहा जाता है-प्रतिबिंबित अगर रैंक प्रत्येक के लिए एक निश्चित प्रतिबिंब संपत्ति को संतुष्ट करता है -सूत्र .[13] ये अध्यादेश KP+Π जैसे सिद्धांतों के क्रमिक विश्लेषण में प्रकट होते हैं3-रेफरीकृपके-प्लेटक सेट सिद्धांत सिद्धांत को बढ़ाने वाला सिद्धांत a -प्रतिबिंब स्कीमा। उन्हें कुछ बेशुमार कार्डिनल्स जैसे कमजोर रूप से कॉम्पैक्ट कार्डिनल और अवर्णनीय कार्डिनल के पुनरावर्ती एनालॉग भी माना जा सकता है।[14] उदाहरण के लिए, एक अध्यादेश जो -प्रतिबिंबित करने को पुनरावर्ती कमजोर रूप से कॉम्पैक्ट कहा जाता है।[15] परिमित के लिए , कम से कम -ऑर्डिनल को प्रतिबिंबित करना भी मोनोटोनिक इंडक्टिव परिभाषाओं के क्लोजर ऑर्डिनल्स का सर्वोच्च है, जिनके ग्राफ अंकगणितीय पदानुक्रम हैं। Πm+10</उप>। [15] विशेष रूप से, -प्रतिबिंबित अध्यादेशों में उच्च-क्रम फ़ंक्शन का उपयोग करके एक लक्षण वर्णन भी होता है। क्रमसूचक कार्यों पर उच्च-प्रकार के कार्यात्मक, उन्हें 2-स्वीकार्य अध्यादेशों का नाम दिया जाता है। [15]सोलोमन फेफरमैन द्वारा एक अप्रकाशित पेपर प्रत्येक परिमित के लिए आपूर्ति करता है , एक समान संपत्ति के अनुरूप -प्रतिबिंब।[16]


असंभाव्यता

एक स्वीकार्य अध्यादेश कुल नहीं होने पर गैर-प्रक्षेप्य कहा जाता है -रिकर्सिव इंजेक्शन फ़ंक्शन मैपिंग एक छोटे क्रम में। (यह नियमित कार्डिनल्स के लिए तुच्छ रूप से सच है; हालाँकि, हम मुख्य रूप से काउंटेबल ऑर्डिनल्स में रुचि रखते हैं।) स्वीकार्य, पुनरावर्ती दुर्गम, या यहाँ तक कि पुनरावर्ती रूप से महलो होने की तुलना में गैर-प्रक्षेप्य होना बहुत मजबूत स्थिति है।[11]जेन्सेन की परियोजना की विधि द्वारा,[17] यह कथन इस कथन के समतुल्य है कि रचनात्मक ब्रह्मांड | गोडेल ब्रह्मांड, एल, चरण α तक, एक मॉडल उत्पन्न करता है केपी + का -अलगाव। हालाँकि, -अपने दम पर जुदाई (की उपस्थिति में नहीं ) असंभाव्यता को इंगित करने के लिए एक मजबूत पर्याप्त स्वयंसिद्ध स्कीमा नहीं है, वास्तव में इसके सकर्मक मॉडल हैं +किसी भी गणनीय स्वीकार्य ऊंचाई का पृथक्करण .[18] गैर-प्रोजेक्टिबल ऑर्डिनल्स रोनाल्ड ब्योर्न जेन्सेन से जुड़े हुए हैं | प्रोजेक्टा पर जेन्सेन का काम।[19][20]


अप्राप्य अध्यादेश

हम और भी बड़े अध्यादेशों की कल्पना कर सकते हैं जो अभी भी गणनीय हैं। उदाहरण के लिए, यदि ज़र्मेलो-फ्रेंकेल सेट थ्योरी में एक सकर्मक मॉडल है (संगतता की मात्र परिकल्पना से मजबूत एक परिकल्पना, और एक दुर्गम कार्डिनल के अस्तित्व से निहित), तो वहाँ एक गणनीय मौजूद है ऐसा है कि ZFC का एक मॉडल है। इस तरह के ऑर्डिनल्स ZFC की ताकत से इस मायने में परे हैं कि यह (निर्माण द्वारा) उनके अस्तित्व को साबित नहीं कर सकता है।

अगर एक पुनरावर्ती गणनीय सेट सिद्धांत है जो निर्माण की स्वयंसिद्धता के साथ संगत है|V=L, फिर सबसे कम ऐसा है कि कम से कम स्थिर क्रमसूचक से कम है, जो इस प्रकार है।[21]


स्थिर अध्यादेश

यहां तक ​​​​कि बड़े गणनीय अध्यादेश, जिन्हें स्थिर अध्यादेश कहा जाता है, को अवर्णनीयता की स्थिति या उन के रूप में परिभाषित किया जा सकता है ऐसा है कि एक प्रारंभिक तुल्यता है|Σ1एल का प्राथमिक सबमॉडल; ZFC में इन अध्यादेशों के अस्तित्व को सिद्ध किया जा सकता है,[22] और वे एक मॉडल-सैद्धांतिक दृष्टिकोण से #Reflection_and_nonprojectibility से निकटता से संबंधित हैं।[6] गणनीय के लिए , की स्थिरता के बराबर है .[19]


स्थिर अध्यादेशों के वेरिएंट

ये स्थिर अध्यादेशों के कमजोर रूप हैं। उपरोक्त कम से कम गैर-प्रोजेक्टेबल ऑर्डिनल से छोटे इन गुणों वाले अध्यादेश हैं,[19]उदाहरण के लिए एक क्रमसूचक है -स्थिर अगर यह है -सभी प्राकृतिक के लिए प्रतिबिंबित .[15]* एक गणनीय अध्यादेश कहा जाता है -स्थिर अगर और केवल अगर [19]

  • एक गणनीय अध्यादेश कहा जाता है -स्थिर अगर और केवल अगर , कहाँ कम से कम स्वीकार्य क्रमिक से बड़ा है .[19][23]
  • एक गणनीय अध्यादेश कहा जाता है -स्थिर अगर और केवल अगर , कहाँ कम से कम स्वीकार्य क्रमसूचक से बड़ा एक स्वीकार्य क्रमसूचक से बड़ा है .[23]* एक गणनीय अध्यादेश को दुर्गम-स्थिर कहा जाता है यदि और केवल यदि , कहाँ कम से कम पुनरावर्ती दुर्गम क्रमसूचक से बड़ा है .[19]* एक गणनीय अध्यादेश महलो-स्थिर कहा जाता है अगर और केवल अगर , कहाँ कम से कम रिकर्सिवली महलो ऑर्डिनल से बड़ा है .[19]* एक गणनीय अध्यादेश दुगना कहा जाता है -स्थिर अगर और केवल अगर एक है -स्थिर क्रमसूचक ऐसा है कि .[19]दूसरे क्रम के अंकगणित के उप-प्रणालियों के विश्लेषण सहित सबूत-सैद्धांतिक प्रकाशनों में स्थिरता की मजबूत कमजोरियां सामने आई हैं। [24]


एक छद्म सुव्यवस्थित

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

रिकर्सिव स्यूडो-वेल-ऑर्डरिंग के उदाहरण के लिए, S को Reverse_mathematics#Arithmetical_transfinite_recursion_ATR0|ATR होने दें0या अन्य पुनरावर्ती स्वयंसिद्ध सिद्धांत जिसमें एक ω-मॉडल है लेकिन कोई हाइपरअरिथमेटिकल ω-मॉडल नहीं है, और (यदि आवश्यक हो) स्कोलेम कार्यों के साथ रूढ़िवादी रूप से S का विस्तार करता है। मान लीजिए कि T, S के (अनिवार्य रूप से) परिमित आंशिक ω-मॉडल का वृक्ष है: प्राकृतिक संख्याओं का एक क्रम T में है iff S प्लस ∃m φ(m) ⇒ φ(x⌈φ⌉) (पहले n सूत्रों के लिए φ एक संख्यात्मक मुक्त चर के साथ; ⌈φ⌉ गोडेल संख्या है) n से छोटा कोई असंगति प्रमाण नहीं है। फिर टी का क्लेन-ब्राउवर ऑर्डर एक पुनरावर्ती छद्मवेल ऑर्डरिंग है।

ऐसे किसी भी निर्माण में ऑर्डर टाइप होना चाहिए , कहाँ का आदेश प्रकार है , और एक पुनरावर्ती क्रमसूचक है। [25]


संदर्भ

Most books describing large countable ordinals are on proof theory, and unfortunately tend to be out of print.



पुनरावर्ती अध्यादेशों पर

  • वोल्फ्राम पोहलर्स, प्रूफ थ्योरी, स्प्रिंगर 1989 ISBN 0-387-51842-8 (वेब्लेन पदानुक्रम और कुछ अप्रतिबंधित अध्यादेशों के लिए)। यह शायद बड़े गणनीय अध्यादेशों (जो ज्यादा नहीं कह रहा है) पर सबसे अधिक पठनीय पुस्तक है।
  • गेसी टेकुटी, प्रूफ थ्योरी, दूसरा संस्करण 1987 ISBN 0-444-10492-5 (क्रमिक आरेखों के लिए)
  • कर्ट शुट्टे, प्रूफ थ्योरी, स्प्रिंगर 1977 ISBN 0-387-07911-4 (वेब्लेन पदानुक्रम और कुछ प्रतिकूल अध्यादेशों के लिए)
  • क्रेग स्मोरिंस्की, द वेरायटीज़ ऑफ़ आर्बोरियल एक्सपीरियंस मैथ। इंटेलिजेंसर 4 (1982), नहीं। 4, 182-189; वेबलेन पदानुक्रम का एक अनौपचारिक विवरण शामिल है।
  • हार्टले रोजर्स जूनियर, पुनरावर्ती कार्यों का सिद्धांत और प्रभावी संगणनीयता मैकग्रा-हिल (1967) ISBN 0-262-68052-1 (रिकर्सिव ऑर्डिनल्स और चर्च-क्लीन ऑर्डिनल का वर्णन करता है)
  • लैरी डब्ल्यू मिलर, नॉर्मल फ़ंक्शंस एंड कंस्ट्रक्टिव ऑर्डिनल नोटेशन्स, प्रतीकात्मक तर्क का जर्नल, वॉल्यूम 41, नंबर 2, जून 1976, पेज 439 से 459, JSTOR 2272243,
  • हिल्बर्ट लेविट्ज़, ट्रांसफिनिट ऑर्डिनल्स एंड देयर नोटेशन्स: फॉर द अनिनिशिएटेड, एक्सपोजिटरी आर्टिकल (8 पेज, परिशिष्ट भाग में)
  • हरमन रूज जर्वेल, ट्रुथ एंड प्रोविबिलिटी, पांडुलिपि प्रगति पर है।

पुनरावर्ती अध्यादेशों से परे

पुनरावर्ती और गैर-पुनरावर्ती क्रम दोनों

इनलाइन संदर्भ

  1. Buchholz, W. (1986-01-01). "प्रमाण-सैद्धांतिक क्रमिक कार्यों की एक नई प्रणाली". Annals of Pure and Applied Logic (in English). 32: 195–207. doi:10.1016/0168-0072(86)90052-7. ISSN 0168-0072.
  2. Simpson, Stephen G. (2009). दूसरे क्रम के अंकगणित के सबसिस्टम. Perspectives in Logic (2 ed.). Cambridge: Cambridge University Press. ISBN 978-0-521-88439-6.
  3. Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981). Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. Lecture Notes in Mathematics. Vol. 897. Springer-Verlag, Berlin-New York. doi:10.1007/bfb0091894. ISBN 3-540-11170-0. MR 0655036.
  4. 4.0 4.1 4.2 "ऑर्डिनल्स का एक चिड़ियाघर" (PDF). Madore. 2017-07-29. Retrieved 2021-08-10.{{cite web}}: CS1 maint: url-status (link)
  5. W. Buchholz, A new system of proof-theoretic ordinal functions (1984) (lemmata 1.3 and 1.8). Accessed 2022-05-04.
  6. 6.0 6.1 6.2 6.3 6.4 6.5 D. Madore, A Zoo of Ordinals (2017) (p.6). Accessed 2021-05-06.
  7. Rathjen, Michael (1994-01-01). "Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM". Archive for Mathematical Logic (in English). 33 (1): 35–55. doi:10.1007/BF01275469. ISSN 1432-0665. S2CID 35012853.
  8. "कमजोर महलो कार्डिनल पर आधारित क्रमसूचक संकेतन" (PDF). University of Leeds. 1990. Retrieved 2021-08-10.{{cite web}}: CS1 maint: url-status (link)
  9. "प्रतिबिंब का सबूत सिद्धांत" (PDF). University of Leeds. 1993-02-21. Retrieved 2021-08-10.{{cite web}}: CS1 maint: url-status (link)
  10. 10.0 10.1 Stegert, Jan-Carl (2010). "कृपके-प्लेटक सेट सिद्धांत का क्रमिक प्रमाण सिद्धांत मजबूत प्रतिबिंब सिद्धांतों द्वारा संवर्धित". miami.uni-muenster.de (in English). Retrieved 2021-08-10.
  11. 11.0 11.1 "द्वितीय-क्रम अंकगणित की उप-प्रणालियाँ" (PDF). Penn State Institution. 2006-02-07. Retrieved 2010-08-10.{{cite web}}: CS1 maint: url-status (link)
  12. F. G. Abramson, G. E. Sacks, "Uncountable Gandy Ordinals" (1976), p.387. Accessed 13 February 2023.
  13. Arai, Toshiyasu (2015). "प्रथम-क्रम प्रतिबिंब का एक सरलीकृत विश्लेषण". arXiv:1907.17611v1.
  14. W. Richter, P. Aczel, Inductive Definitions and Reflection Properties of Admissible Ordinals (1973)
  15. 15.0 15.1 15.2 15.3 Richter, Wayne; Aczel, Peter (1974-01-01). "स्वीकार्य अध्यादेशों की आगमनात्मक परिभाषाएँ और प्रतिबिंबित करने वाले गुण" (PDF). Studies in Logic and the Foundations of Mathematics (in English). 79: 301–381. doi:10.1016/S0049-237X(08)70592-5. hdl:10852/44063. ISBN 9780444105455. ISSN 0049-237X.
  16. S. Feferman, Indescribable Cardinals and Admissible Analogues (2013, unpublished). Accessed 18 November 2022.
  17. K. J. Devlin, An introduction to the fine structure of the constructible hierarchy, Studies in Logic and the Foundations of Mathematics (vol. 79, 1974). Accessed 2022-12-04.
  18. "Fred G. Abramson, Locally countable models of -separation" (2014). Accessed 2022 July 23.
  19. 19.0 19.1 19.2 19.3 19.4 19.5 19.6 19.7 D. Madore, A Zoo of Ordinals. Accessed 2022-12-04.
  20. K. J. Devlin, An introduction to the fine structure of the constructible hierarchy (1974). Accessed 21 February 2023.
  21. W. Marek, K. Rasmussen, Spectrum of L in libraries (WorldCat catalog) (EuDML page), Państwowe Wydawn. Accessed 2022-12-01.
  22. Barwise (1976), theorem 7.2.
  23. 23.0 23.1 Simpson, Stephen G. (1978-01-01). "स्वीकार्य पुनरावर्तन सिद्धांत पर लघु पाठ्यक्रम". Studies in Logic and the Foundations of Mathematics (in English). 94: 355–390. doi:10.1016/S0049-237X(08)70941-8. ISBN 9780444851635. ISSN 0049-237X.
  24. Arai, Toshiyasu (1996). "प्रूफ थ्योरी में हार्डलाइन का परिचय". arXiv:1104.1842v1.
  25. W. Chan, The countable admissible ordinal equivalence relation (2017), p.1233. Accessed 28 December 2022.

श्रेणी:क्रमिक संख्या श्रेणी:सबूत सिद्धांत