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

From Vigyanwiki
No edit summary
No edit summary
 
(39 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Ordinals in mathematics and set theory}}
{{Short description|Ordinals in mathematics and set theory}}
[[ समुच्चय सिद्धान्त ]] के गणितीय अनुशासन में, विशिष्ट [[गणनीय सेट]] क्रमिक संख्या का वर्णन करने की कई प्रविधि हैं। सबसे अल्प लोगों को उनके [[कैंटर सामान्य रूप]] के संदर्भ में उपयोगी और गैर-वृत्ताकार रूप से व्यक्त किया जा सकता है। इसके अतिरिक्त, [[ सबूत सिद्धांत | प्रमाण सिद्धांत]] की प्रासंगिकता के कई अध्यादेशों में अभी भी [[ गणना योग्य समारोह | गणना योग्य फंक्शन]] [[क्रमसूचक संकेतन]] हैं ([[क्रमिक विश्लेषण]] देखें)। चूंकि, प्रभावी रूप से यह निर्धारित करना संभव नहीं है, कि दिया गया पुटेटिव ऑर्डिनल नोटेशन है या नहीं (कुछ कारणों से [[रुकने की समस्या]] की अस्वाभाविकता के अनुरूप); निश्चित रूप से अंकन वाले अध्यादेशों को परिभाषित करने की कई और ठोस प्रविधि उपलब्ध हैं।
[[समुच्चय सिद्धान्त]] के गणितीय अनुशासन में, वृहद [[गणनीय सेट|गणनीय समुच्चय]] क्रमिक संख्या का वर्णन करने की कई प्रविधि हैं। सबसे अल्प लोगों को उनके [[कैंटर सामान्य रूप]] के संदर्भ में उपयोगी और गैर-वृत्ताकार रूप से व्यक्त किया जा सकता है। इसके अतिरिक्त, [[ सबूत सिद्धांत | प्रमाण सिद्धांत]] की प्रासंगिकता के कई क्रमसूचकों में अभी भी [[ गणना योग्य समारोह | गणना योग्य फलन]] [[क्रमसूचक संकेतन]] हैं ([[क्रमिक विश्लेषण]] देखें)। चूंकि, प्रभावी रूप से यह निर्धारित करना संभव नहीं है, कि दिया गया कल्पित क्रमसूचक अंकन है या नहीं (कुछ कारणों से [[रुकने की समस्या]] की अस्वाभाविकता के अनुरूप); निश्चित रूप से अंकन वाले क्रमसूचकों को परिभाषित करने की कई और ठोस प्रविधि उपलब्ध हैं।


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


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


== पुनरावर्ती अध्यादेशों पर सामान्यता ==
== पुनरावर्ती क्रमसूचकों पर सामान्यता ==
{{Main|Recursive ordinal}}
{{Main|
पुनरावर्ती क्रमसूचक}}


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


{{Main|Ordinal notation}}
{{Main|
क्रमसूचक संकेतन}}


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


<!-- Consider the following as a sort of stub for a yet-to-be-written article on "ordinal notations"... -->
भिन्न परिभाषा [[स्टीफन कोल क्लेन]] की क्रमसूचक संकेतन प्रणाली का उपयोग करती है। संक्षेप में, क्रमिक संकेतन या तो नाम शून्य है (क्रमिक 0 का वर्णन), या क्रमसूचक संकेतन का उत्तराधिकारी (उस संकेतन द्वारा वर्णित क्रमसूचक के उत्तराधिकारी का वर्णन), या ट्यूरिंग मशीन (गणना योग्य कार्य) जो बढ़ते क्रम का उत्पादन करती है क्रमसूचक संकेतन (जो क्रमसूचक का वर्णन करते हैं जो अनुक्रम की सीमा है), और क्रमसूचक संकेतन आदेशित करता हैं, जिससे o के उत्तराधिकारी को o से बड़ा बनाया जा सके और सीमा को अनुक्रम के किसी भी पद से अधिक बनाया जा सके (यह क्रम संगणनीय है; चूंकि, क्रमसूचक संकेतन का समुच्चय 'O' स्वयं अत्यधिक गैर-पुनरावर्ती है, यह निर्धारित करने की असंभवता के कारण कि क्या दी गई ट्यूरिंग मशीन वास्तव में संकेतन के अनुक्रम का उत्पादन करती है); पुनरावर्ती क्रमसूचक तब क्रमसूचक होता है जिसे कुछ क्रमसूचक संकेतन द्वारा वर्णित किया जाता है।
एक अलग परिभाषा [[स्टीफन कोल क्लेन]] की क्रमसूचक संकेतन प्रणाली का उपयोग करती है। संक्षेप में, एक क्रमिक संकेतन या तो नाम शून्य है (क्रमिक 0 का वर्णन), या एक क्रमसूचक संकेतन का उत्तराधिकारी (उस संकेतन द्वारा वर्णित क्रमसूचक के उत्तराधिकारी का वर्णन), या एक ट्यूरिंग मशीन (गणना योग्य कार्य) जो एक बढ़ते क्रम का उत्पादन करती है क्रमसूचक संकेतन (जो क्रमसूचक का वर्णन करते हैं जो अनुक्रम की सीमा है), और क्रमसूचक संकेतन (आंशिक रूप से) आदेशित हैं ताकि o के उत्तराधिकारी को o से बड़ा बनाया जा सके और सीमा को अनुक्रम के किसी भी पद से अधिक बनाया जा सके (यह क्रम संगणनीय है; चूंकि, क्रमसूचक संकेतन का सेट 'O' स्वयं अत्यधिक गैर-पुनरावर्ती है, यह निर्धारित करने की असंभवता के कारण कि क्या दी गई ट्यूरिंग मशीन वास्तव में संकेतन के अनुक्रम का उत्पादन करती है); एक पुनरावर्ती क्रमसूचक तब एक क्रमसूचक होता है जिसे कुछ क्रमसूचक संकेतन द्वारा वर्णित किया जाता है।


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


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


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


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


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


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


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


== विशिष्ट पुनरावर्ती अध्यादेश ==
== वृहद पुनरावर्ती क्रमसूचक ==


=== विधेयात्मक परिभाषाएँ और वेब्लेन पदानुक्रम ===
=== विधेयात्मक परिभाषाएँ और वेब्लेन पदानुक्रम ===
{{main|Veblen function}}
{{main|वेब्लेन फंक्शन}}
हमने पहले ही उल्लेख किया है (क्रमिक अंकगणित#कैंटर सामान्य रूप देखें) क्रमसूचक एप्सिलॉन संख्या (गणित)|ε<sub>0</sub>, जो समीकरण को संतुष्ट करने वाला सबसे छोटा है <math>\omega^\alpha = \alpha</math>, तो यह अनुक्रम 0, 1 की सीमा है, <math>\omega</math>, <math>\omega^\omega</math>, <math>\omega^{\omega^\omega}</math>, ... इस समीकरण को संतुष्ट करने वाले अगले क्रमिक को ε कहा जाता है<sub>1</sub>: यह अनुक्रम की सीमा है
 
हमने उल्लेख किया है (कैंटोर सामान्य रूप देखें) ε<sub>0</sub>, जो समीकरण को संतुष्ट करने वाला सबसे अल्प है <math>\omega^\alpha = \alpha</math>, तो यह अनुक्रम 0, 1 की सीमा है, <math>\omega</math>, <math>\omega^\omega</math>, <math>\omega^{\omega^\omega}</math>, ... इस समीकरण को संतुष्ट करने वाले क्रमिक को ε<sub>1</sub> कहा जाता है। यह अनुक्रम की सीमा है,


:<math>\varepsilon_0+1, \qquad \omega^{\varepsilon_0+1}=\varepsilon_0\cdot\omega,\qquad\omega^{\omega^{\varepsilon_0+1}}=(\varepsilon_0)^\omega,\qquad\text{etc.}</math>
:<math>\varepsilon_0+1, \qquad \omega^{\varepsilon_0+1}=\varepsilon_0\cdot\omega,\qquad\omega^{\omega^{\varepsilon_0+1}}=(\varepsilon_0)^\omega,\qquad\text{etc.}</math>
अधिक आम तौर पर, <math>\iota</math>-वाँ क्रमवाचक ऐसा है <math>\omega^\alpha = \alpha</math> कहा जाता है <math>\varepsilon_\iota</math>. हम परिभाषित कर सकते हैं <math>\zeta_0</math> सबसे अल्प क्रमसूचक के रूप में <math>\varepsilon_\alpha=\alpha</math>, लेकिन चूंकि ग्रीक वर्णमाला में कई अक्षर नहीं हैं, इसलिए अधिक मजबूत संकेतन का उपयोग करना बेहतर है: क्रमांक को परिभाषित करें <math>\varphi_\gamma(\beta)</math> ट्रांसफिनिट इंडक्शन द्वारा इस प्रकार है: चलो <math>\varphi_0(\beta) = \omega^\beta</math> और जाने <math>\varphi_{\gamma+1}(\beta)</math> हो <math>\beta</math>-वाँ निश्चित बिंदु <math>\varphi_\gamma</math> (यानी, <math>\beta</math>-वाँ क्रमवाचक ऐसा है <math>\varphi_\gamma(\alpha)=\alpha</math>; तो उदाहरण के लिए, <math>\varphi_1(\beta) = \varepsilon_\beta</math>), और जब <math>\delta</math> एक सीमा क्रमसूचक है, परिभाषित करें <math>\varphi_\delta(\alpha)</math> के रूप में <math>\alpha</math>-वाँ आम निश्चित बिंदु <math>\varphi_\gamma</math> सभी के लिए <math>\gamma<\delta</math>. कार्यों के इस परिवार को [[वेब्लेन पदानुक्रम]] के रूप में जाना जाता है (परिभाषा में अनावश्यक भिन्नताएं हैं, जैसे कि अनुमति देना, for <math>\delta</math> एक सीमा क्रमसूचक, <math>\varphi_\delta(\alpha)</math> की सीमा हो <math>\varphi_\gamma(\alpha)</math> के लिए <math>\gamma<\delta</math>: यह अनिवार्य रूप से केवल सूचकांकों को 1 से बदलता है, जो हानिरहित है)। <math>\varphi_\gamma</math> कहा जाता है <math>\gamma^{th}</math> Veblen फंक्शन(आधार के लिए <math>\omega</math>).
अधिक सामान्यतः, <math>\iota</math>-वाँ क्रमवाचक है, जिसे  <math>\omega^\alpha = \alpha</math> कहा जाता है<math>\varepsilon_\iota</math> को हम परिभाषित कर सकते हैं <math>\zeta_0</math> सबसे अल्प क्रमसूचक के रूप में <math>\varepsilon_\alpha=\alpha</math>, किन्तु चूंकि ग्रीक वर्णमाला में कई अक्षर नहीं हैं, इसलिए अधिक ठोस संकेतन का उपयोग करना उत्तम है: <math>\varphi_\gamma(\beta)</math> क्रमांक को परिभाषित करें, परिमित प्रवेश <math>\varphi_0(\beta) = \omega^\beta</math> द्वारा इस प्रकार है: <math>\varphi_{\gamma+1}(\beta)</math> हो <math>\beta</math>-वाँ निश्चित बिंदु <math>\varphi_\gamma</math> (अर्थात, <math>\beta</math>-वाँ क्रमवाचक ऐसा है <math>\varphi_\gamma(\alpha)=\alpha</math>; तो उदाहरण के लिए, <math>\varphi_1(\beta) = \varepsilon_\beta</math>), और जब <math>\delta</math> सीमा क्रमसूचक है, परिभाषित करें <math>\varphi_\delta(\alpha)</math> के रूप में <math>\alpha</math>-वाँ सरल निश्चित बिंदु <math>\varphi_\gamma</math> सभी के लिए <math>\gamma<\delta</math>. फलन के इस क्रम को [[वेब्लेन पदानुक्रम]] के रूप में जाना जाता है (परिभाषा में अनावश्यक भिन्नताएं हैं, को <math>\delta</math> अनुमति देना, <math>\varphi_\delta(\alpha)</math> सीमा क्रमसूचक <math>\varphi_\gamma(\alpha)</math> की सीमा हो,  <math>\gamma<\delta</math> के लिए यह अनिवार्य रूप से केवल सूचकांकों को 1 से परिवर्तित करता है, जो हानिरहित है)। वेब्लेन फलन (आधार के लिए <math>\omega</math><math>\varphi_\gamma</math> <math>\gamma^{th}</math> कहलाती है।


आदेश देना: <math>\varphi_\alpha(\beta) < \varphi_\gamma(\delta)</math> अगर और केवल अगर या तो (<math>\alpha = \gamma</math> और <math>\beta < \delta</math>) या (<math>\alpha < \gamma</math> और <math>\beta < \varphi_\gamma(\delta)</math>) या (<math>\alpha > \gamma</math> और <math>\varphi_\alpha(\beta) < \delta</math>).
क्रमसूचक: <math>\varphi_\alpha(\beta) < \varphi_\gamma(\delta)</math> यदि केवल या तो (<math>\alpha = \gamma</math> और <math>\beta < \delta</math>) या (<math>\alpha < \gamma</math> और <math>\beta < \varphi_\gamma(\delta)</math>) या (<math>\alpha > \gamma</math> और <math>\varphi_\alpha(\beta) < \delta</math>).


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


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


अधिक सामान्यतः, जी<sub>''α''</sub> उन ऑर्डिनल्स की गणना करता है जिन्हें अतिरिक्त और वेब्लेन फ़ंक्शंस का उपयोग करके अल्प ऑर्डिनल्स से प्राप्त नहीं किया जा सकता है।
अधिक सामान्यतः, Γ<sub>''α''</sub> उन क्रमसूचक्स की गणना करता है जिन्हें अतिरिक्त और वेब्लेन फलन का उपयोग करके अल्प क्रमसूचक्स से प्राप्त नहीं किया जा सकता है।


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


=== इम्प्रिडिकेटिव ऑर्डिनल्स ===
=== अभेद्य क्रमसूचक ===
{{main|Ordinal collapsing function}}
{{main|ऑर्डिनल कोलापसिंग फंक्शन}}


फ़ेफ़रमैन-शुट्टे क्रमसूचक से बहुत आगे जाने के लिए, नए तरीकों को पेश करने की आवश्यकता है। दुर्भाग्य से ऐसा करने के लिए अभी तक कोई मानक तरीका नहीं है: ऐसा लगता है कि इस विषय में प्रत्येक लेखक ने अपनी स्वयं की अंकन प्रणाली का आविष्कार किया है, और विभिन्न प्रणालियों के बीच अनुवाद करना काफी कठिन है। इस तरह की पहली प्रणाली 1950 में बछमन द्वारा पेश की गई थी (एक तदर्थ तरीके से), और इसके विभिन्न विस्तार और विविधताओं का वर्णन बुखोलज़, टेकुटी (क्रमिक आरेख), फ़ेफ़रमैन (θ सिस्टम), [[पीटर एक्ज़ेल]], ब्रिज, शुट्टे और द्वारा किया गया था। पोहलर्स। चूंकि अधिकांश प्रणालियाँ एक ही मूल विचार का उपयोग करती हैं, कुछ बेशुमार अध्यादेशों के अस्तित्व का उपयोग करके नए गणनीय अध्यादेशों का निर्माण करना। यहाँ इस तरह की परिभाषा का एक उदाहरण दिया गया है, जिसका वर्णन [[क्रमिक ढहने का कार्य]] पर लेख में बहुत अधिक विस्तार से किया गया है:
फ़ेफ़रमैन-शुट्टे क्रमसूचक से अधिक आगे जाने के लिए, नयी प्रविधियों को प्रस्तुत करने की आवश्यकता है। दुर्भाग्य से ऐसा करने के लिए अभी तक कोई मानक प्रविधि नहीं है: ऐसा प्रतीत होता है कि इस विषय में प्रत्येक लेखक ने स्वयं की अंकन प्रणाली का आविष्कार किया है, और विभिन्न प्रणालियों के मध्य अनुवाद करना अधिक कठिन है। इस प्रकार की प्रथम प्रणाली 1950 में बछमन द्वारा प्रस्तुत की गई थी (एक तदर्थ प्रविधि से), और इसके विभिन्न विस्तार और विविधताओं का वर्णन बुखोलज़, टेकुटी (क्रमिक आरेख), फ़ेफ़रमैन (θ प्रणाली), [[पीटर एक्ज़ेल]] और ब्रिज, शुट्टे द्वारा किया गया था। पोहलर्स, चूंकि अधिकांश प्रणालियाँ मूल विचार का उपयोग करती हैं, कुछ अनगिनत क्रमसूचकों के अस्तित्व का उपयोग करके नए गणनीय क्रमसूचकों का निर्माण करना। यहाँ इस प्रकार की परिभाषा का उदाहरण दिया गया है, जिसका वर्णन [[क्रमिक ढहने का कार्य|क्रमिक कोलैपशिंग फलन]] पर लेख में अधिक विस्तार से किया गया है।
* ψ(α) को सबसे अल्प क्रमसूचक के रूप में परिभाषित किया गया है जिसे 0, 1, ω और Ω से शुरू करके और बार-बार जोड़, गुणा और घातांक लागू करके और ψ को पहले से बनाए गए अध्यादेशों को छोड़कर नहीं बनाया जा सकता है (सिवाय इसके कि ψ केवल लागू किया जा सकता है) α से कम तर्कों के लिए, यह सुनिश्चित करने के लिए कि यह अच्छी तरह से परिभाषित है)।
* ψ(α) को सबसे अल्प क्रमसूचक के रूप में परिभाषित किया गया है जिसे 0, 1, ω और Ω से प्रारम्भ करके और बार-बार जोड़, गुणा और घातांक प्रारम्भ करके और ψ को पूर्व से बनाए गए क्रमसूचकों को त्यागकर नहीं बनाया जा सकता है (अतिरिक्त इसके कि ψ केवल प्रारम्भ किया जा सकता है) α से कम नियमों के लिए, यह सुनिश्चित करने के लिए कि यह उचित रूप से परिभाषित है)।
यहाँ Ω = ω<sub>1</sub> पहला बेशुमार क्रमसूचक है। इसे इसलिए रखा गया है क्योंकि अन्यथा फ़ंक्शन ψ सबसे अल्प क्रमिक σ पर अटक जाता है जैसे कि ε<sub>''σ''</sub>=σ: विशेष रूप से ψ(α)=σ किसी भी क्रमिक α संतोषजनक σ≤α≤Ω के लिए। चूंकि तथ्य यह है कि हमने Ω को शामिल किया है, हमें इस बिंदु को पार करने की अनुमति देता है: ψ(Ω+1) σ से बड़ा है। Ω की मुख्य संपत्ति जिसका हमने उपयोग किया है वह यह है कि यह ψ द्वारा उत्पादित किसी भी क्रमसूचक से अधिक है।
जहाँ Ω = ω<sub>1</sub> प्रथम अनगिनत क्रमसूचक है। इसे इसलिए रखा गया है क्योंकि अन्यथा फलन ψ सबसे अल्प क्रमिक σ पर रुक जाता है जैसे कि ε<sub>''σ''</sub>=σ: विशेष रूप से ψ(α)=σ किसी भी क्रमिक α संतोषजनक σ≤α≤Ω के लिए, चूंकि तथ्य यह है कि हमने Ω को सम्मिलित किया है, हमें इस बिंदु को ज्ञात करने की अनुमति देता है: ψ(Ω+1) σ से बड़ा है। Ω की मुख्य संपत्ति जिसका उपयोग किया है वह यह है कि ψ द्वारा उत्पादित किसी भी क्रमसूचक से अधिक है।


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


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


=== बचमन-हावर्ड क्रमसूचक === से भी परे
इसके अतिरिक्त, कई पुनरावर्ती क्रमसूचक हैं जो पूर्व वाले के रूप में उचित प्रकार से ज्ञात नहीं हैं। बुखोल्ज़ का क्रमसूचक है, जिसे इस रूप में परिभाषित किया गया है <math>\psi_0(\Omega_\omega)</math>, संक्षिप्त रूप में केवल <math>\psi(\Omega_\omega)</math>, पूर्व अंकन का उपयोग करना, का प्रमाण-सैद्धांतिक क्रमसूचक <math>\Pi_1^1-CA_0</math> है ,<ref>{{Cite journal|date=1986-01-01|title=प्रमाण-सैद्धांतिक क्रमिक कार्यों की एक नई प्रणाली|journal=Annals of Pure and Applied Logic|language=en|volume=32|pages=195–207|doi=10.1016/0168-0072(86)90052-7|issn=0168-0072|last1=Buchholz |first1=W. |doi-access=free}}</ref> अंकगणित का प्रथम-क्रम सिद्धांत प्राकृतिक संख्याओं के साथ-साथ प्राकृतिक संख्याओं के समुच्चय पर परिमाणीकरण की अनुमति देता है, और <math>ID_{<\omega}</math>, परिमित रूप से पुनरावृत्त आगमनात्मक परिभाषाओं का औपचारिक सिद्धांत हैं।<ref>{{Cite book|last=Simpson|first=Stephen G.|url=https://www.cambridge.org/core/books/subsystems-of-second-order-arithmetic/EA16CB4305831530B7015D6BC46B7424|title=दूसरे क्रम के अंकगणित के सबसिस्टम|date=2009|publisher=Cambridge University Press|isbn=978-0-521-88439-6|edition=2|series=Perspectives in Logic|location=Cambridge}}</ref> इसके पश्चात टेकुटी-फेफरमैन-बुखोल्ज़ क्रमसूचक <math>\Pi_1^1 -CA + BI</math> है।<ref>{{cite book
इसके अतिरिक्त, कई पुनरावर्ती अध्यादेश हैं जो पिछले वाले के रूप में अच्छी तरह से ज्ञात नहीं हैं। इनमें से पहला है Ψ0(Ωω) | बुखोल्ज़ क्रमसूचक, इस रूप में परिभाषित <math>\psi_0(\Omega_\omega)</math>, संक्षिप्त रूप में बस <math>\psi(\Omega_\omega)</math>, पिछले नोटेशन का उपयोग करना। का प्रमाण-सैद्धांतिक क्रमसूचक है <math>\Pi_1^1-CA_0</math>,<ref>{{Cite journal|date=1986-01-01|title=प्रमाण-सैद्धांतिक क्रमिक कार्यों की एक नई प्रणाली|journal=Annals of Pure and Applied Logic|language=en|volume=32|pages=195–207|doi=10.1016/0168-0072(86)90052-7|issn=0168-0072|last1=Buchholz |first1=W. |doi-access=free}}</ref> अंकगणित का प्रथम-क्रम सिद्धांत प्राकृतिक संख्याओं के साथ-साथ प्राकृतिक संख्याओं के सेट पर परिमाणीकरण की अनुमति देता है, और <math>ID_{<\omega}</math>, परिमित रूप से पुनरावृत्त आगमनात्मक परिभाषाओं का औपचारिक सिद्धांत।<ref>{{Cite book|last=Simpson|first=Stephen G.|url=https://www.cambridge.org/core/books/subsystems-of-second-order-arithmetic/EA16CB4305831530B7015D6BC46B7424|title=दूसरे क्रम के अंकगणित के सबसिस्टम|date=2009|publisher=Cambridge University Press|isbn=978-0-521-88439-6|edition=2|series=Perspectives in Logic|location=Cambridge}}</ref> इसके बाद टेकुटी-फेफरमैन-बुखोल्ज़ क्रमसूचक है। <math>\Pi_1^1 -CA + BI</math>;<ref>{{cite book
  | last1 = Buchholz | first1 = Wilfried
  | last1 = Buchholz | first1 = Wilfried
  | last2 = Feferman | first2 = Solomon | author2-link = Solomon Feferman
  | last2 = Feferman | first2 = Solomon | author2-link = Solomon Feferman
Line 75: Line 76:
  | title = Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  | title = Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  | volume = 897
  | volume = 897
  | year = 1981}}</ref> और दूसरे क्रम के अंकगणित का एक और सबसिस्टम: <math>\Pi_1^1</math> - समझ + ट्रांसफिनिट इंडक्शन, और <math>ID_\omega</math>, का औपचारिक सिद्धांत <math>\omega</math>बार-बार पुनरावृत्त आगमनात्मक परिभाषाएँ।<ref name=":1">{{Cite web|date=2017-07-29|title=ऑर्डिनल्स का एक चिड़ियाघर|url=http://www.madore.org/~david/math/ordinal-zoo.pdf|url-status=live|access-date=2021-08-10|website=Madore}}</ref> इस संकेतन में, इसे परिभाषित किया गया है <math>\psi_0(\varepsilon_{\Omega_\omega + 1})</math>. यह बुखोल्ज़ के साई कार्यों की श्रेणी का सर्वोच्च है।<ref>W. Buchholz, [https://www.sciencedirect.com/science/article/pii/0168007286900527 A new system of proof-theoretic ordinal functions] (1984) (lemmata 1.3 and 1.8). Accessed 2022-05-04.</ref> इसका नाम सबसे पहले डेविड मैडोर ने रखा था।{{cn|date=May 2022}}
  | year = 1981}}</ref> और दूसरे क्रम के अंकगणित का उपसमुच्चय <math>\Pi_1^1</math> - विचार + परिमित प्रवेश, और <math>ID_\omega</math>, का औपचारिक सिद्धांत <math>\omega</math> है।<ref name=":1">{{Cite web|date=2017-07-29|title=ऑर्डिनल्स का एक चिड़ियाघर|url=http://www.madore.org/~david/math/ordinal-zoo.pdf|url-status=live|access-date=2021-08-10|website=Madore}}</ref> अंकन में, इसे इस <math>\psi_0(\varepsilon_{\Omega_\omega + 1})</math> रूप में परिभाषित किया गया है, यह बुखोल्ज़ के साई फलन की श्रेणी का सर्वोच्च है।<ref>W. Buchholz, [https://www.sciencedirect.com/science/article/pii/0168007286900527 A new system of proof-theoretic ordinal functions] (1984) (lemmata 1.3 and 1.8). Accessed 2022-05-04.</ref> इसका नाम सर्वप्रथम डेविड मैडोर ने रखा था।


[https://gist.github.com/AndrasKovacs/8d445c8457ea0967e807c726b2ce5a3a Agda में बड़े गणनीय अध्यादेश और संख्या] का वर्णन करने वाले कोड के एक टुकड़े में अगले अध्यादेश का उल्लेख किया गया है, और AndrasKovacs द्वारा परिभाषित किया गया है <math>\psi_0(\Omega_{\omega+1} \cdot \varepsilon_0)</math>.
आगामी क्रमसूचक का उल्लेख कोड के भाग में किया गया है,[https://gist.github.com/AndrasKovacs/8d445c8457ea0967e807c726b2ce5a3a एजीडीए में बड़े गणनीय क्रमसूचक और संख्या] का वर्णन करने वाले और आंद्रस कोवाक्स द्वारा <math>\psi_0(\Omega_{\omega+1} \cdot \varepsilon_0)</math> परिभाषित किया गया है।


अगले क्रमसूचक का उल्लेख पहले की तरह ही कोड के उसी टुकड़े में किया गया है, और इसे परिभाषित किया गया है <math>\psi_0(\Omega_{\omega^\omega})</math>. का प्रमाण-सैद्धांतिक क्रमसूचक है <math>ID_{<\omega^\omega}</math>. <!-- Once again, doesn't seem that significant or well-known, but still added it. Please add more information if you can find any. -->
आगामी क्रमसूचक का उल्लेख पूर्व के जैसे ही कोड के उसी भाग में किया गया है, और <math>\psi_0(\Omega_{\omega^\omega})</math> इसे परिभाषित किया गया है। यह आगामी क्रमसूचक, तत्पश्चात, कोड के इसी भाग  में उल्लिखित है, जिसे परिभाषित किया गया है <math>\psi_0(\Omega_{\omega^\omega})</math> का प्रमाण-सैद्धांतिक क्रमसूचक है, <math>ID_{<\omega^\omega}</math> सामान्यतः <math>\psi_0(\Omega_{\varepsilon_0})</math> का प्रमाण-सैद्धांतिक क्रमसूचक <math>ID_{<\varepsilon_0}</math>.<math>ID_{<\nu}</math> के समान है, ध्यान दें कि इस निश्चित उदाहरण में, <math>\psi_0(\Omega_{\nu})</math> का प्रतिनिधित्व प्रथम क्रमसूचक अशून्य  <math>\Omega_0</math> करता है
यह अगला अध्यादेश, एक बार फिर, कोड के इसी टुकड़े में उल्लिखित है, जिसे परिभाषित किया गया है <math>\psi_0(\Omega_{\varepsilon_0})</math>, का प्रमाण-सैद्धांतिक क्रमसूचक है <math>ID_{<\varepsilon_0}</math>. सामान्य तौर पर, प्रूफ-सैद्धांतिक क्रमसूचक <math>ID_{<\nu}</math> के बराबर है <math>\psi_0(\Omega_{\nu})</math> - ध्यान दें कि इस निश्चित उदाहरण में, <math>\Omega_0</math> का प्रतिनिधित्व करता है <math>1</math>, पहला नॉनजीरो ऑर्डिनल।


इस बिंदु तक के अधिकांश अध्यादेशों को [[बुखोल्ज़ हाइड्रा]] (उदा. <math>\psi(\Omega_\omega) = +(0(\omega))</math>)
इस बिंदु तक के अधिकांश क्रमसूचकों को [[बुखोल्ज़ हाइड्रा]] (उदा. <math>\psi(\Omega_\omega) = +(0(\omega))</math>)


अगला एक अनाम अध्यादेश है, जिसे डेविड मैडोर ने गणनीय पतन के रूप में संदर्भित किया है <math>\varepsilon_{I+1}</math>,<ref name=":0" />कहाँ <math>I</math> पहला अप्राप्य है (=<math>\Pi^1_0</math>-अवर्णनीय) कार्डिनल। यह क्रिप्के-प्लेटक सेट थ्योरी का प्रूफ-थ्योरिटिक ऑर्डिनल है। क्रिपके-प्लेटेक सेट थ्योरी ऑर्डिनल्स (केपीआई) के वर्ग की पुनरावर्ती दुर्गमता द्वारा संवर्धित, या, अंकगणितीय पक्ष पर, <math>\Delta^1_2</math> -समझ + ट्रांसफिनिट इंडक्शन। इसका मूल्य बराबर है <math>\psi(\varepsilon_{I+1})</math> अज्ञात फ़ंक्शन का उपयोग करना।
अनाम क्रमसूचक है, जिसे डेविड मैडोर ने गणनीय समाप्ति <math>\varepsilon_{I+1}</math> के रूप में संदर्भित किया है,<ref name=":0" />जहाँ <math>I</math> प्रथम अप्राप्य है (=<math>\Pi^1_0</math>-अवर्णनीय) कार्डिनल,यह क्रिप्के-प्लेटक समुच्चय सिद्धांत का प्रमाण-सैद्धांतिक क्रमसूचक क्रमांक है। क्रिपके-प्लेटेक समुच्चय सिद्धांत क्रमसूचक (KPआई) के वर्ग की पुनरावर्ती दुर्गमता द्वारा संवर्धित, या, अंकगणितीय पक्ष पर, <math>\Delta^1_2</math> -विचार + परिमित प्रवेश, इसका मूल्य <math>\psi(\varepsilon_{I+1})</math> अज्ञात फलन को उपयोग करने समान है।


अगला एक और अनाम अध्यादेश है, जिसे डेविड मैडोर ने गणनीय पतन के रूप में संदर्भित किया है <math>\varepsilon_{M+1}</math>,<ref name=":0" />कहाँ <math>M</math> पहला महलो कार्डिनल है। यह केपीएम का प्रूफ-थ्योरिटिक ऑर्डिनल है, क्रिप्के-प्लेटेक सेट थ्योरी का विस्तार है। कृपके-प्लेटेक सेट थ्योरी महलो कार्डिनल पर आधारित है।<ref>{{Cite journal|last=Rathjen|first=Michael|date=1994-01-01|title=Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM|url=https://doi.org/10.1007/BF01275469|journal=Archive for Mathematical Logic|language=en|volume=33|issue=1|pages=35–55|doi=10.1007/BF01275469|s2cid=35012853 |issn=1432-0665}}</ref> इसका मूल्य बराबर है <math>\psi(\varepsilon_{M+1})</math> बुखोल्ज़ के विभिन्न साई कार्यों में से एक का उपयोग करना।<ref>{{Cite web|date=1990|title=कमजोर महलो कार्डिनल पर आधारित क्रमसूचक संकेतन|url=https://www1.maths.leeds.ac.uk/~rathjen/Ord_Notation_Weakly_Mahlo.pdf|url-status=live|access-date=2021-08-10|website=University of Leeds}}</ref>
अनाम क्रमसूचक है, जिसे डेविड मैडोर ने गणनीय समाप्ति <math>\varepsilon_{M+1}</math> के रूप में संदर्भित किया है ,<ref name=":0" />जहाँ <math>M</math> प्रथम महलो कार्डिनल है। यह KPएम का सिद्धांत का प्रमाण-सैद्धांतिक क्रमसूचक है, क्रिप्के-प्लेटेक समुच्चय सिद्धांत का विस्तार है। कृपके-प्लेटेक समुच्चय सिद्धांत महलो कार्डिनल पर आधारित है।<ref>{{Cite journal|last=Rathjen|first=Michael|date=1994-01-01|title=Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM|url=https://doi.org/10.1007/BF01275469|journal=Archive for Mathematical Logic|language=en|volume=33|issue=1|pages=35–55|doi=10.1007/BF01275469|s2cid=35012853 |issn=1432-0665}}</ref> इसका मूल्य   <math>\psi(\varepsilon_{M+1})</math> के समान है,  बुखोल्ज़ के विभिन्न साई फलन में से उपयोग करना।<ref>{{Cite web|date=1990|title=कमजोर महलो कार्डिनल पर आधारित क्रमसूचक संकेतन|url=https://www1.maths.leeds.ac.uk/~rathjen/Ord_Notation_Weakly_Mahlo.pdf|url-status=live|access-date=2021-08-10|website=University of Leeds}}</ref>अनाम क्रमसूचक है, जिसे डेविड मैडोर ने गणनीय समाप्ति <math>\varepsilon_{K+1}</math> के रूप में संदर्भित किया है ,<ref name=":0" />जहाँ <math>K</math> प्रथम शक्तिहीन कॉम्पैक्ट है (=<math>\Pi^1_1</math>-अवर्णनीय) कार्डिनल, यह क्रिप्के-प्लेटेक समुच्चय सिद्धांत का प्रमाण-सैद्धांतिक क्रम है। क्रिप्के-प्लेटेक समुच्चय सिद्धांत + Π3 - Ref। इसका मूल्य <math>\Psi(\varepsilon_{K+1})</math> के समान है  राथजेन के साई फलन का उपयोग करना।<ref>{{Cite web|date=1993-02-21|title=प्रतिबिंब का सबूत सिद्धांत|url=https://www1.maths.leeds.ac.uk/~rathjen/Ehab.pdf|url-status=live|access-date=2021-08-10|website=University of Leeds}}</ref> अनाम क्रमसूचक है, जिसे डेविड मैडोर ने गणनीय समाप्ति <math>\varepsilon_{\Xi+1}</math>के रूप में संदर्भित किया है ,<ref name=":0" />जहाँ <math>\Xi</math> प्रथम <math>\Pi^2_0</math> है -अवर्णनीय कार्डिनल, यह क्रिप्के-प्लेटक समुच्चय सिद्धांत का प्रमाण-सैद्धांतिक क्रम है। क्रिप्के-प्लेटक समुच्चय सिद्धांत + Πω-Ref।,इसका मूल्य <math>\Psi^{\varepsilon_{\Xi+1}}_X</math> समान है, स्टीगर्ट के साई फलन का उपयोग करते हुए, जहां <math>X</math> = (<math>\omega^+</math>; <math>P_0</math>; <math>\epsilon</math>, <math>\epsilon</math>, 0).<ref name=":2">{{Cite web|last=Stegert|first=Jan-Carl|date=2010|title=कृपके-प्लेटक सेट सिद्धांत का क्रमिक प्रमाण सिद्धांत मजबूत प्रतिबिंब सिद्धांतों द्वारा संवर्धित|url=https://miami.uni-muenster.de/Record/429ac0b8-092f-426d-bf84-1e3a0adc8957|access-date=2021-08-10|website=miami.uni-muenster.de|language=English}}</ref> अंतिम अनाम क्रमसूचक है, जिसे डेविड मैडोर द्वारा स्थिरता के प्रमाण-सैद्धांतिक क्रमसूचक के रूप में संदर्भित किया गया है।<ref name=":0" />यह स्थिरता का प्रमा-सैद्धांतिक क्रमसूचक है, क्रिप्के-प्लेटक समुच्चय सिद्धांत का विस्तार है। इसका मूल्य <math>\Psi^{\varepsilon_{Y+1}}_X</math> के समान है, स्टीगर्ट के साई फलन का उपयोग करते हुए, जहां <math>X</math> = (<math>\omega^+</math>; <math>P_0</math>; <math>\epsilon</math>, <math>\epsilon</math>, 0),<ref name=":2" /> क्रमसूचकों का समूह है जिसके विषय में अधिक जानकारी नहीं है, किन्तु अभी भी अधिक महत्वपूर्ण हैं (आरोही क्रम में)
अगला एक और अनाम अध्यादेश है, जिसे डेविड मैडोर ने गणनीय पतन के रूप में संदर्भित किया है <math>\varepsilon_{K+1}</math>,<ref name=":0" />कहाँ <math>K</math> पहला कमजोर कॉम्पैक्ट है (=<math>\Pi^1_1</math>-अवर्णनीय) कार्डिनल। यह क्रिप्के-प्लेटेक सेट सिद्धांत का प्रमाण-सैद्धांतिक क्रम है। क्रिप्के-प्लेटेक सेट सिद्धांत + Π3 - Ref। इसका मूल्य बराबर है <math>\Psi(\varepsilon_{K+1})</math> राथजेन के साई फंक्शनका उपयोग करना।<ref>{{Cite web|date=1993-02-21|title=प्रतिबिंब का सबूत सिद्धांत|url=https://www1.maths.leeds.ac.uk/~rathjen/Ehab.pdf|url-status=live|access-date=2021-08-10|website=University of Leeds}}</ref> अगला एक और अनाम अध्यादेश है, जिसे डेविड मैडोर ने गणनीय पतन के रूप में संदर्भित किया है <math>\varepsilon_{\Xi+1}</math>,<ref name=":0" />कहाँ <math>\Xi</math> पहला है <math>\Pi^2_0</math>-अवर्णनीय कार्डिनल। यह क्रिप्के-प्लेटक सेट सिद्धांत का प्रूफ-सैद्धांतिक क्रम है। क्रिप्के-प्लेटक सेट सिद्धांत + Πω-Ref। इसका मूल्य बराबर है <math>\Psi^{\varepsilon_{\Xi+1}}_X</math> स्टीगर्ट के साई फ़ंक्शन का उपयोग करते हुए, जहां <math>X</math> = (<math>\omega^+</math>; <math>P_0</math>; <math>\epsilon</math>, <math>\epsilon</math>, 0).<ref name=":2">{{Cite web|last=Stegert|first=Jan-Carl|date=2010|title=कृपके-प्लेटक सेट सिद्धांत का क्रमिक प्रमाण सिद्धांत मजबूत प्रतिबिंब सिद्धांतों द्वारा संवर्धित|url=https://miami.uni-muenster.de/Record/429ac0b8-092f-426d-bf84-1e3a0adc8957|access-date=2021-08-10|website=miami.uni-muenster.de|language=English}}</ref> अगला अंतिम अनाम क्रमसूचक है, जिसे डेविड मैडोर द्वारा स्थिरता के प्रमाण-सैद्धांतिक क्रमसूचक के रूप में संदर्भित किया गया है।<ref name=":0" />यह स्थिरता का प्रूफ-सैद्धांतिक क्रमसूचक है, क्रिप्के-प्लेटक सेट सिद्धांत का विस्तार है। इसका मूल्य बराबर है <math>\Psi^{\varepsilon_{Y+1}}_X</math> स्टीगर्ट के साई फ़ंक्शन का उपयोग करते हुए, जहां <math>X</math> = (<math>\omega^+</math>; <math>P_0</math>; <math>\epsilon</math>, <math>\epsilon</math>, 0).<ref name=":2" />  
अगला अध्यादेशों का एक समूह है जिसके बारे में ज्यादा जानकारी नहीं है, लेकिन अभी भी काफी महत्वपूर्ण हैं (आरोही क्रम में):


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


=== अपरिवर्तनीय पुनरावर्ती अध्यादेश ===
=== अपरिवर्तनीय पुनरावर्ती क्रमसूचक ===


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


== पुनरावर्ती अध्यादेशों से परे ==
== पुनरावर्ती क्रमसूचकों से भिन्न ==
=== चर्च-क्लीन क्रमसूचक ===


<!-- This section should be much expanded, perhaps made into a separate article, because the present view is unbalanced: most of the article deals with recursive ordinals, and other large countable ordinals seem to be a kind of afterthought. -->
पुनरावर्ती क्रमसूचक के समुच्चय का सर्वोच्च सबसे अल्प क्रमसूचक है जिसे पुनरावर्ती प्रविधि से वर्णित नहीं किया जा सकता है। (यह पूर्णांकों के किसी भी पुनरावर्ती सुव्यवस्थित क्रम का क्रम प्रकार नहीं है।) वह क्रमसूचक गणनीय क्रमसूचक है जिसे चर्च-क्लीन क्रमसूचक <math>\omega_1^{\mathrm{CK}}</math> कहा जाता है। इस प्रकार, <math>\omega_1^{\mathrm{CK}}</math> सबसे अल्प गैर-पुनरावर्ती क्रमसूचक है, और इस बिंदु से किसी भी क्रमसूचक का उचित वर्णन करने की कोई अपेक्षा नहीं है - हम केवल उन्हें परिभाषित कर सकते हैं। किन्तु यह अभी भी पूर्व अनगिनत क्रमसूचक <math>\omega_1</math> से अधिक कम है, चूंकि जैसा कि इसके प्रतीक से ज्ञात हुआ है, यह कई प्रकार से व्यवहार करता है, जैसे कि <math>\omega_1</math> के अतिरिक्त उदाहरण के लिए,  <math>\omega_1</math> कोई कोलेम्ब फलनो  को <math>\omega_1^{\mathrm{CK}}</math> परिभाषित कर सकता है।


=== स्वीकार्य क्रमसूचक ===
{{main|स्वीकार्य अध्यादेश}}


=== चर्च-क्लीन ऑर्डिनल ===
चर्च-क्लेन क्रमसूचक क्रिपके-प्लेटक समुच्चय सिद्धांत से संबंधित है, किन्तु अब भिन्न प्रविधि से, जबकि बाचमैन-हावर्ड क्रमसूचक सबसे अल्प क्रमसूचक था जिसके लिए KP परिमित प्रवेश प्रमाणित नहीं करता है, चर्च- क्लेन क्रमसूचक सबसे अल्प α है जैसे कि रचनात्मक ब्रह्मांड का निर्माण गोडेल ब्रह्मांड, L, चरण α तक, KP का मॉडल <math>L_\alpha</math> उत्पन्न करता है। इस प्रकार के क्रमसूचकों को स्वीकार्य <math>\omega_1^{\mathrm{CK}}</math> कहा जाता है, सबसे अल्प स्वीकार्य क्रमिक  (KP में अनंतता के स्वयंसिद्ध को सम्मिलित नहीं किए जाने की स्थिति में ω से भिन्न) है।


रिकर्सिव ऑर्डिनल्स के सेट का सुप्रीम सबसे छोटा ऑर्डिनल है जिसे रिकर्सिव तरीके से वर्णित नहीं किया जा सकता है। (यह पूर्णांकों के किसी भी पुनरावर्ती सुव्यवस्थित क्रम का क्रम प्रकार नहीं है।) वह क्रमसूचक एक गणनीय क्रमसूचक है जिसे चर्च-क्लीन क्रमसूचक कहा जाता है। <math>\omega_1^{\mathrm{CK}}</math>. इस प्रकार, <math>\omega_1^{\mathrm{CK}}</math> सबसे छोटा गैर-पुनरावर्ती क्रमसूचक है, और इस बिंदु से किसी भी क्रमसूचक का ठीक-ठीक वर्णन करने की कोई उम्मीद नहीं है - हम केवल उन्हें परिभाषित कर सकते हैं। लेकिन यह अभी भी पहले बेशुमार क्रमसूचक से बहुत कम है, <math>\omega_1</math>. चूंकि, जैसा कि इसके प्रतीक से पता चलता है, यह कई तरह से व्यवहार करता है, जैसे कि <math>\omega_1</math>. उदाहरण के लिए, कोई क्रमिक ढहने वाले कार्यों को परिभाषित कर सकता है <math>\omega_1^{\mathrm{CK}}</math> के बजाय <math>\omega_1</math>.
[[गेराल्ड सैक्स]] के प्रमेय के अनुसार, गणनीय स्वीकार्य क्रमसूचक वास्तव में चर्च-क्लेन क्रमसूचक के समान प्रविधि से निर्मित होते हैं किन्तु [[ओरेकल मशीन|ओरेकल]]  के साथ ट्यूरिंग मशीनों के लिए कोई कभी-कभी <math>\omega_\alpha^{\mathrm{CK}}</math> लिखता है <math>\alpha</math>-वाँ क्रमिक के लिए, जो या तो स्वीकार्य है या अल्प स्वीकार्य की सीमा है।


=== स्वीकार्य अध्यादेश ===
स्वीकार्य क्रमसूचकों से भिन्न <math>\omega_\omega^{\mathrm{CK}}</math> स्वीकार्य क्रमसूचकों की सबसे अल्प सीमा है (पश्चात में उल्लेख किया गया है), तत्पश्चात क्रमसूचक स्वयं स्वीकार्य नहीं है। यह सबसे अल्प भी है, यह <math>\alpha</math> ऐसा है कि <math>L_\alpha \cap P(\omega)</math> का मॉडल <math>\Pi^1_1</math> है, <ref name=":1" /><ref name=":3">{{Cite web|date=2006-02-07|title=द्वितीय-क्रम अंकगणित की उप-प्रणालियाँ|url=https://www.personal.psu.edu/t20/sosoa/chapter1.pdf|url-status=live|access-date=2010-08-10|website=Penn State Institution}}</ref> क्रम जो स्वीकार्य <math>\alpha</math> और <math>\alpha</math> स्वीकार्य दोनों की सीमा है, या समकक्ष ऐसा है, वें स्वीकार्य क्रमिक, को पुनरावर्ती दुर्गम कहा जाता है, और कम से कम पुनरावर्ती दुर्गम को <math>\omega_1^{E_1}</math> निरूपित किया जा सकता है। <ref>F. G. Abramson, G. E. Sacks, "[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.101.3332&rep=rep1&type=pdf Uncountable Gandy Ordinals]" (1976), p.387. Accessed 13 February 2023.</ref> क्रमसूचक जो पुनरावर्ती रूप से अप्राप्य दोनों है और पुनरावर्ती रूप से दुर्गम की सीमा को पुनरावर्ती रूप से अति दुर्गम कहा जाता है।<ref name=":1" />इस प्रकार से बड़े क्रमसूचकों का सिद्धांत उपस्थित है जो कि (अल्प) बड़े कार्डिनल संपत्ति के समानांतर है। उदाहरण के लिए, हम पुनरावर्ती महलो क्रमसूचक परिभाषित कर सकते हैं, ये <math>\alpha</math> ऐसा है कि प्रत्येक <math>\alpha</math>-पुनरावर्ती संवृत असीमित उप <math>\alpha</math> स्वीकार्य क्रमसूचक ( [[कार्डिनल आंखें]] की परिभाषा का पुनरावर्ती एनालॉग) सम्मिलित है। किन्तु ध्यान दें कि अभी भी यहां संभवतः गणनीय क्रमसूचकों के विषय में वर्णन कर रहे हैं।  
{{main|Admissible ordinal}}
 
चर्च-क्लेन ऑर्डिनल फिर से क्रिपके-प्लेटक सेट सिद्धांत से संबंधित है, लेकिन अब एक अलग तरीके से: जबकि बाचमैन-हावर्ड ऑर्डिनल (#Impredicative ordinals वर्णित) सबसे छोटा ऑर्डिनल था जिसके लिए केपी ट्रांसफिनिट इंडक्शन साबित नहीं करता है, चर्च- क्लेन ऑर्डिनल सबसे छोटा α है जैसे कि रचनात्मक ब्रह्मांड का निर्माण | गोडेल ब्रह्मांड, एल, चरण α तक, एक मॉडल उत्पन्न करता है <math>L_\alpha</math> केपी का। इस तरह के अध्यादेशों को स्वीकार्य कहा जाता है <math>\omega_1^{\mathrm{CK}}</math> सबसे छोटा स्वीकार्य क्रमिक है (केपी में अनंतता के स्वयंसिद्ध को शामिल नहीं किए जाने की स्थिति में ω से परे)।
 
[[गेराल्ड सैक्स]] के एक प्रमेय के अनुसार, गणनीय स्वीकार्य अध्यादेश वास्तव में चर्च-क्लेन क्रमसूचक के समान तरीके से निर्मित होते हैं लेकिन [[ओरेकल मशीन]] के साथ ट्यूरिंग मशीनों के लिए। कोई कभी-कभी लिखता है <math>\omega_\alpha^{\mathrm{CK}}</math> के लिए <math>\alpha</math>-वाँ क्रमिक जो या तो स्वीकार्य है या अल्प स्वीकार्य की सीमा है।
 
=== स्वीकार्य अध्यादेशों से परे ===<math>\omega_\omega^{\mathrm{CK}}</math>स्वीकार्य अध्यादेशों की सबसे छोटी सीमा है (बाद में उल्लेख किया गया है), फिर भी अध्यादेश स्वयं स्वीकार्य नहीं है। यह सबसे छोटा भी है <math>\alpha</math> ऐसा है कि <math>L_\alpha \cap P(\omega)</math> का एक मॉडल है <math>\Pi^1_1</math>-समझ।<ref name=":1" /><ref name=":3">{{Cite web|date=2006-02-07|title=द्वितीय-क्रम अंकगणित की उप-प्रणालियाँ|url=https://www.personal.psu.edu/t20/sosoa/chapter1.pdf|url-status=live|access-date=2010-08-10|website=Penn State Institution}}</ref>
एक आदेश जो स्वीकार्य और स्वीकार्य दोनों की सीमा है, या समकक्ष ऐसा है <math>\alpha</math> है <math>\alpha</math>-वें स्वीकार्य क्रमिक, को पुनरावर्ती दुर्गम कहा जाता है, और कम से कम पुनरावर्ती दुर्गम को निरूपित किया जा सकता है <math>\omega_1^{E_1}</math>.<ref>F. G. Abramson, G. E. Sacks, "[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.101.3332&rep=rep1&type=pdf Uncountable Gandy Ordinals]" (1976), p.387. Accessed 13 February 2023.</ref> एक क्रमसूचक जो पुनरावर्ती रूप से अप्राप्य दोनों है और पुनरावर्ती रूप से दुर्गम की सीमा को पुनरावर्ती रूप से अति दुर्गम कहा जाता है।<ref name=":1" />इस तरह से बड़े अध्यादेशों का एक सिद्धांत मौजूद है जो कि (अल्प) बड़े कार्डिनल संपत्ति के समानांतर है। उदाहरण के लिए, हम रिकर्सिवली Mahlo ordinals परिभाषित कर सकते हैं: ये हैं <math>\alpha</math> ऐसा है कि हर <math>\alpha</math>-रिकर्सिव क्लोज्ड अनबाउंड सबसेट ऑफ <math>\alpha</math> एक स्वीकार्य क्रमसूचक (एक [[कार्डिनल आंखें]] की परिभाषा का एक पुनरावर्ती एनालॉग) शामिल है। लेकिन ध्यान दें कि हम अभी भी यहां संभवतः गणनीय अध्यादेशों के बारे में बात कर रहे हैं। (जबकि ज़र्मेलो-फ्रेंकेल सेट सिद्धांत में दुर्गम या महलो कार्डिनल्स के अस्तित्व को साबित नहीं किया जा सकता है, जो कि पुनरावर्ती रूप से दुर्गम या पुनरावर्ती महलो ऑर्डिनल्स ZFC का एक प्रमेय है: वास्तव में, कोई भी [[नियमित कार्डिनल]] रिकर्सिवली महलो और अधिक है, लेकिन भले ही हम सीमित हों काउंटेबल ऑर्डिनल्स के लिए खुद, ZFC रिकर्सिवली महलो ऑर्डिनल्स के अस्तित्व को साबित करता है। चूंकि, वे क्रिपके-प्लेटेक सेट सिद्धांत की पहुंच से परे हैं।)


=== प्रतिबिंब ===
=== प्रतिबिंब ===
सूत्रों के एक सेट के लिए <math>\Gamma</math>, एक सीमा क्रमसूचक <math>\alpha</math> कहा जाता है<math>\Gamma</math>-प्रतिबिंबित अगर रैंक <math>L_\alpha</math> प्रत्येक के लिए एक निश्चित प्रतिबिंब संपत्ति को संतुष्ट करता है <math>\Gamma</math>-सूत्र <math>\phi</math>.<ref>{{Cite arXiv|last=Arai|first=Toshiyasu|eprint=1907.17611v1|title=प्रथम-क्रम प्रतिबिंब का एक सरलीकृत विश्लेषण|date=2015}}</ref> ये अध्यादेश KP+Π जैसे सिद्धांतों के क्रमिक विश्लेषण में प्रकट होते हैं<sub>3</sub>-रेफरी[[कृपके-प्लेटक सेट सिद्धांत]] सिद्धांत को बढ़ाने वाला सिद्धांत a <math>\Pi_3</math>-प्रतिबिंब स्कीमा। उन्हें कुछ बेशुमार कार्डिनल्स जैसे [[कमजोर रूप से कॉम्पैक्ट कार्डिनल]] और [[अवर्णनीय कार्डिनल]] के पुनरावर्ती एनालॉग भी माना जा सकता है।<ref>W. Richter, P. Aczel, [https://www.duo.uio.no/handle/10852/44063 ''Inductive Definitions and Reflection Properties of Admissible Ordinals''] (1973)</ref> उदाहरण के लिए, एक अध्यादेश जो <math>\Pi_3</math>-प्रतिबिंबित करने को पुनरावर्ती कमजोर रूप से कॉम्पैक्ट कहा जाता है।<ref name="RichterAczel74">{{Cite journal|date=1974-01-01|title=स्वीकार्य अध्यादेशों की आगमनात्मक परिभाषाएँ और प्रतिबिंबित करने वाले गुण|url=https://www.duo.uio.no/bitstream/handle/10852/44063/1973-13.pdf|journal=Studies in Logic and the Foundations of Mathematics|language=en|volume=79|pages=301–381|doi=10.1016/S0049-237X(08)70592-5|issn=0049-237X|last1=Richter |first1=Wayne |last2=Aczel |first2=Peter |hdl=10852/44063 |isbn=9780444105455 }}</ref> परिमित के लिए <math>n</math>, कम से कम <math>\Pi_n</math>-ऑर्डिनल को प्रतिबिंबित करना भी मोनोटोनिक इंडक्टिव परिभाषाओं के क्लोजर ऑर्डिनल्स का सर्वोच्च है, जिनके ग्राफ अंकगणितीय पदानुक्रम हैं। Π<sub>m+1</sub><sup>0</उप><ref name="RichterAczel74" /><!--Pi_(m+1)^0 is a formula with only type-0 = number variables-->
सूत्रों के समुच्चय के लिए <math>\Gamma</math>, सीमा क्रमसूचक <math>\alpha</math> कहा जाता है <math>\Gamma</math>-प्रतिबिंबित यदि श्रेणी <math>L_\alpha</math> प्रत्येक के लिए निश्चित प्रतिबिंब <math>\Gamma</math>-सूत्र <math>\phi</math> संपत्ति को संतुष्ट करता है। <ref>{{Cite arXiv|last=Arai|first=Toshiyasu|eprint=1907.17611v1|title=प्रथम-क्रम प्रतिबिंब का एक सरलीकृत विश्लेषण|date=2015}}</ref> ये क्रमसूचक KP+Π<sub>3</sub>- जैसे सिद्धांतों के क्रमिक विश्लेषण में प्रकट होते हैं, [[कृपके-प्लेटक सेट सिद्धांत|कृपके-प्लेटक समुच्चय सिद्धांत]] को बढ़ाता है। a <math>\Pi_3</math>-प्रतिबिंब स्कीमा, उन्हें कुछ अनगिनत कार्डिनल्स जैसे [[कमजोर रूप से कॉम्पैक्ट कार्डिनल|शक्तिहीन रूप से कॉम्पैक्ट कार्डिनल]] और [[अवर्णनीय कार्डिनल]] के पुनरावर्ती एनालॉग भी माना जा सकता है।<ref>W. Richter, P. Aczel, [https://www.duo.uio.no/handle/10852/44063 ''Inductive Definitions and Reflection Properties of Admissible Ordinals''] (1973)</ref> उदाहरण के लिए, क्रमसूचक जो <math>\Pi_3</math>-प्रतिबिंबित करने को पुनरावर्ती शक्तिहीन रूप से कॉम्पैक्ट कहा जाता है।<ref name="RichterAczel74">{{Cite journal|date=1974-01-01|title=स्वीकार्य अध्यादेशों की आगमनात्मक परिभाषाएँ और प्रतिबिंबित करने वाले गुण|url=https://www.duo.uio.no/bitstream/handle/10852/44063/1973-13.pdf|journal=Studies in Logic and the Foundations of Mathematics|language=en|volume=79|pages=301–381|doi=10.1016/S0049-237X(08)70592-5|issn=0049-237X|last1=Richter |first1=Wayne |last2=Aczel |first2=Peter |hdl=10852/44063 |isbn=9780444105455 }}</ref> परिमित के लिए <math>n</math>, कम से कम <math>\Pi_n</math>-क्रमसूचक को प्रतिबिंबित करना भी मोनोटोनिक आगमनात्मक परिभाषाओं के क्लोजर क्रमसूचक का सर्वोच्च है, जिनके ग्राफ अंकगणितीय पदानुक्रम Π<sub>m+1</sub><sup>0 हैं। <sup><sup><ref name="RichterAczel74" /> विशेष रूप से, <math>\Pi_3</math>-प्रतिबिंबित क्रमसूचकों में उच्च-क्रम फलन का उपयोग करके लक्षण वर्णन भी होता है। क्रमसूचक फलन पर उच्च-प्रकार के कार्यात्मक, उन्हें 2-स्वीकार्य क्रमसूचकों का नाम दिया जाता है। <sup><sup><sup><ref name="RichterAczel74" /> [[सोलोमन फेफरमैन]] द्वारा अप्रकाशित पेपर प्रत्येक परिमित के लिए आपूर्ति करता है, <math>n</math> समान संपत्ति के अनुरूप <math>\Pi_n</math>-प्रतिबिंब होता है।<sup><sup><sup><sup><sup><ref>S. Feferman, [https://math.stanford.edu/~feferman/papers/Indes%20Cards%20&%20Admiss.pdf Indescribable Cardinals and Admissible Analogues] (2013, unpublished). Accessed 18 November 2022.</ref>
विशेष रूप से, <math>\Pi_3</math>-प्रतिबिंबित अध्यादेशों में उच्च-क्रम फ़ंक्शन का उपयोग करके एक लक्षण वर्णन भी होता है। क्रमसूचक कार्यों पर उच्च-प्रकार के कार्यात्मक, उन्हें 2-स्वीकार्य अध्यादेशों का नाम दिया जाता है। <ref name="RichterAczel74" />[[सोलोमन फेफरमैन]] द्वारा एक अप्रकाशित पेपर प्रत्येक परिमित के लिए आपूर्ति करता है <math>n</math>, एक समान संपत्ति के अनुरूप <math>\Pi_n</math>-प्रतिबिंब।<ref>S. Feferman, [https://math.stanford.edu/~feferman/papers/Indes%20Cards%20&%20Admiss.pdf Indescribable Cardinals and Admissible Analogues] (2013, unpublished). Accessed 18 November 2022.</ref>




=== असंभाव्यता ===
=== असंभाव्यता ===
एक स्वीकार्य अध्यादेश <math>\alpha</math> कुल नहीं होने पर गैर-प्रक्षेप्य कहा जाता है <math>\alpha</math>-रिकर्सिव इंजेक्शन फ़ंक्शन मैपिंग <math>\alpha</math> एक अल्प क्रम में। (यह नियमित कार्डिनल्स के लिए तुच्छ रूप से सच है; चूंकि, हम मुख्य रूप से काउंटेबल ऑर्डिनल्स में रुचि रखते हैं।) स्वीकार्य, पुनरावर्ती दुर्गम, या यहाँ तक कि पुनरावर्ती रूप से महलो होने की तुलना में गैर-प्रक्षेप्य होना बहुत मजबूत स्थिति है।<ref name=":3" />जेन्सेन की परियोजना की विधि द्वारा,<ref>K. J. Devlin, [https://core.ac.uk/download/pdf/30905237.pdf 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.</ref> यह कथन इस कथन के समतुल्य है कि रचनात्मक ब्रह्मांड | गोडेल ब्रह्मांड, एल, चरण α तक, एक मॉडल उत्पन्न करता है <math>L_\alpha</math> केपी + का <math>\Sigma_1</math>-अलगाव। चूंकि, <math>\Sigma_1</math>-अपने दम पर जुदाई (की उपस्थिति में नहीं <math>V=L</math>) असंभाव्यता को इंगित करने के लिए एक मजबूत पर्याप्त स्वयंसिद्ध स्कीमा नहीं है, वास्तव में इसके सकर्मक मॉडल हैं <math>KP</math>+<math>\Sigma_1</math>किसी भी गणनीय स्वीकार्य ऊंचाई का पृथक्करण <math> >\omega</math>.<ref>"Fred G. Abramson, [https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/locally-countable-models-of-1separation/28D83F60A5B1D067E7726C464BD78A66 Locally countable models of <math>\Sigma_1</math>-separation]" (2014). Accessed 2022 July 23.</ref>
स्वीकार्य क्रमसूचक <math>\alpha</math> कुल नहीं होने पर गैर-प्रक्षेप्य कहा जाता है <math>\alpha</math>-पुनरावर्ती एकाकी फलन मैपिंग <math>\alpha</math> अल्प क्रम में, (यह नियमित कार्डिनल्स के लिए से सत्य है; चूंकि, मुख्य रूप से संगणनीय क्रमसूचक में रुचि रखते हैं।) स्वीकार्य, पुनरावर्ती दुर्गम, या यहाँ तक कि पुनरावर्ती रूप से महलो होने की तुलना में गैर-प्रक्षेप्य होना अत्यधिक ठोस स्थिति है।<ref name=":3" />जेन्सेन की परियोजना की विधि द्वारा,<ref>K. J. Devlin, [https://core.ac.uk/download/pdf/30905237.pdf 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.</ref> यह इस कथन के समतुल्य है कि रचनात्मक ब्रह्मांड गोडेल ब्रह्मांड, एल, चरण α तक, मॉडल <math>L_\alpha</math> KP + का <math>\Sigma_1</math>-भिन्नाव उत्पन्न करता है, चूंकि, <math>\Sigma_1</math>-स्वयं बल के पर (की उपस्थिति में नहीं <math>V=L</math>) असंभाव्यता को प्रदर्शित करने के लिए ठोस पर्याप्त स्वयंसिद्ध स्कीमा नहीं है, वास्तव में इसके सकर्मक मॉडल <math>KP</math>+<math>\Sigma_1</math> हैं किसी भी गणनीय स्वीकार्य ऊंचाई का पृथक्करण <math> >\omega</math> है।<ref>"Fred G. Abramson, [https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/locally-countable-models-of-1separation/28D83F60A5B1D067E7726C464BD78A66 Locally countable models of <math>\Sigma_1</math>-separation]" (2014). Accessed 2022 July 23.</ref> अप्रक्षेप्य क्रमसूचक्स रोनाल्ड ब्योर्न जेन्सेन से जुड़े हुए हैं, परियोजना पर जेन्सेन का कार्य करता है।<ref name="OrdinalZoo" /><ref>K. J. Devlin, [https://core.ac.uk/download/pdf/30905237.pdf An introduction to the fine structure of the constructible hierarchy] (1974). Accessed 21 February 2023.</ref>
गैर-प्रोजेक्टिबल ऑर्डिनल्स रोनाल्ड ब्योर्न जेन्सेन से जुड़े हुए हैं | प्रोजेक्टा पर जेन्सेन का काम।<ref name="OrdinalZoo" /><ref>K. J. Devlin, [https://core.ac.uk/download/pdf/30905237.pdf An introduction to the fine structure of the constructible hierarchy] (1974). Accessed 21 February 2023.</ref>
 


=== अप्राप्य अध्यादेश ===
{{see also|Minimal model (set theory)}}
हम और भी बड़े अध्यादेशों की कल्पना कर सकते हैं जो अभी भी गणनीय हैं। उदाहरण के लिए, यदि ज़र्मेलो-फ्रेंकेल सेट थ्योरी में एक [[सकर्मक मॉडल]] है (संगतता की मात्र परिकल्पना से मजबूत एक परिकल्पना, और एक दुर्गम कार्डिनल के अस्तित्व से निहित), तो वहाँ एक गणनीय मौजूद है <math>\alpha</math> ऐसा है कि <math>L_\alpha</math> ZFC का एक मॉडल है। इस तरह के ऑर्डिनल्स ZFC की ताकत से इस मायने में परे हैं कि यह (निर्माण द्वारा) उनके अस्तित्व को साबित नहीं कर सकता है।


अगर <math>T</math> एक पुनरावर्ती गणनीय सेट सिद्धांत है जो निर्माण की स्वयंसिद्धता के साथ संगत है|V=L, फिर सबसे कम <math>\alpha</math> ऐसा है कि <math>(L_\alpha,\in)\vDash T</math> कम से कम स्थिर क्रमसूचक से कम है, जो इस प्रकार है।<ref>W. Marek, K. Rasmussen, {{WorldCat|oclc=1280819208|name=Spectrum of L}} ([https://eudml.org/doc/268487 EuDML] page), Państwowe Wydawn. Accessed 2022-12-01.</ref>
=== अप्राप्य क्रमसूचक ===
{{see also|न्यूनतम मॉडल (सेट सिद्धांत)}}


हम और भी बड़े क्रमसूचकों की कल्पना कर सकते हैं जो अभी भी गणनीय हैं। उदाहरण के लिए, यदि ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत में  [[सकर्मक मॉडल]] है (संगतता की मात्र परिकल्पना से ठोस परिकल्पना और दुर्गम कार्डिनल के अस्तित्व से निहित), तो वहाँ गणनीय उपस्थित <math>\alpha</math> है <math>L_\alpha</math> ऐसा है कि जेडएफसी का मॉडल है। इस प्रकार के क्रमसूचक्स जेडएफसी की शक्ति से इस अभिप्राय में भिन्न हैं कि यह (निर्माण द्वारा) उनके अस्तित्व को प्रमाणित नहीं कर सकता है।


=== स्थिर अध्यादेश ===
यदि <math>T</math> पुनरावर्ती गणनीय समुच्चय सिद्धांत है जो निर्माण की स्वयंसिद्धता के साथ संगत है | V=L, सबसे कम <math>\alpha</math> ऐसा है कि <math>(L_\alpha,\in)\vDash T</math> कम से कम स्थिर क्रमसूचक से कम है, जो इस प्रकार है।<ref>W. Marek, K. Rasmussen, {{WorldCat|oclc=1280819208|name=Spectrum of L}} ([https://eudml.org/doc/268487 EuDML] page), Państwowe Wydawn. Accessed 2022-12-01.</ref>
यहां तक ​​​​कि बड़े गणनीय अध्यादेश, जिन्हें स्थिर अध्यादेश कहा जाता है, को अवर्णनीयता की स्थिति या उन के रूप में परिभाषित किया जा सकता है <math>\alpha</math> ऐसा है कि <math>L_\alpha</math> एक प्रारंभिक तुल्यता है|Σ<sub>1</sub>एल का प्राथमिक सबमॉडल; ZFC में इन अध्यादेशों के अस्तित्व को सिद्ध किया जा सकता है,<ref>Barwise (1976), theorem 7.2.</ref> और वे एक मॉडल-सैद्धांतिक दृष्टिकोण से #Reflection_and_nonprojectibility से निकटता से संबंधित हैं।<ref name=":0">D. Madore, [http://www.madore.org/~david/math/ordinal-zoo.pdf A Zoo of Ordinals] (2017) (p.6). Accessed 2021-05-06.</ref> गणनीय के लिए <math>\alpha</math>, की स्थिरता <math>\alpha</math> के बराबर है <math>L_\alpha\prec_{\Sigma_1}L_{\omega_1}</math>.<ref name="OrdinalZoo" />




=== स्थिर क्रमसूचक ===
यहां तक ​​​​कि बड़े गणनीय क्रमसूचक, जिन्हें स्थिर क्रमसूचक कहा जाता है, को अवर्णनीयता की स्थिति या उन के रूप में परिभाषित किया जा सकता है <math>\alpha</math> ऐसा है कि <math>L_\alpha</math> का Σ<sub>1</sub> प्रारंभिक तुल्यता है, L का प्राथमिक उपमॉडल; जेडएफसी में इन क्रमसूचकों के अस्तित्व को सिद्ध किया जा सकता है,<ref>Barwise (1976), theorem 7.2.</ref> और वे मॉडल-सैद्धांतिक दृष्टिकोण से से गैर-प्रक्षेप्य क्रमसूचकों के निकटता से संबंधित हैं।<ref name=":0">D. Madore, [http://www.madore.org/~david/math/ordinal-zoo.pdf A Zoo of Ordinals] (2017) (p.6). Accessed 2021-05-06.</ref> गणनीय <math>\alpha</math> के लिए <math>\alpha</math> की स्थिरता के समान <math>L_\alpha\prec_{\Sigma_1}L_{\omega_1}</math> है। <ref name="OrdinalZoo" />
==== स्थिर क्रमसूचकों के प्रकार ====
ये स्थिर क्रमसूचकों के शक्तिहीन रूप हैं। उपरोक्त कम से कम अप्रक्षेप्य क्रमसूचक से अल्प इन गुणों वाले क्रमसूचक हैं,<ref name="OrdinalZoo" />उदाहरण के लिए क्रमसूचक है <math>(+1)</math>-स्थिर यदि ऐसा  <math>\Pi_n^0</math>-है सभी प्राकृतिक के लिए प्रतिबिंबित <math>n</math>.<ref name="RichterAczel74" />* गणनीय क्रमसूचक <math>\alpha</math> कहा जाता है <math>(+\beta)</math>-स्थिर [[अगर और केवल अगर|यदि केवल]]  <math>L_\alpha \prec_{\Sigma_1} L_{\alpha+\beta}</math><ref name="OrdinalZoo">D. Madore, [http://www.madore.org/~david/math/ordinal-zoo.pdf A Zoo of Ordinals]. Accessed 2022-12-04.</ref>होता है।
* गणनीय क्रमसूचक <math>\alpha</math> कहा जाता है <math>(^+)</math>-स्थिर यदि केवल <math>L_\alpha \prec_{\Sigma_1} L_{\beta}</math>, जहाँ <math>\beta</math> कम से कम स्वीकार्य क्रमिक से <math>\alpha</math> बड़ा है। <ref name="OrdinalZoo" /><ref name=":5">{{Cite journal|date=1978-01-01|title=स्वीकार्य पुनरावर्तन सिद्धांत पर लघु पाठ्यक्रम|url=https://www.sciencedirect.com/science/article/abs/pii/S0049237X08709418|journal=Studies in Logic and the Foundations of Mathematics|language=en|volume=94|pages=355–390|doi=10.1016/S0049-237X(08)70941-8|issn=0049-237X|last1=Simpson |first1=Stephen G. |isbn=9780444851635 }}</ref>
* गणनीय क्रमसूचक <math>\alpha</math> कहा जाता है <math>(^{++})</math>-स्थिर यदि केवल <math>L_\alpha \prec_{\Sigma_1} L_{\beta}</math>, जहाँ <math>\beta</math> कम से कम स्वीकार्य क्रमसूचक से बड़ा <math>\alpha</math> है,<ref name=":5" /> गणनीय क्रमसूचक <math>\alpha</math> को दुर्गम-स्थिर कहा जाता है यदि केवल  <math>L_\alpha \prec_{\Sigma_1} L_{\beta}</math>, जहाँ <math>\beta</math> कम से कम पुनरावर्ती दुर्गम क्रमसूचक से <math>\alpha</math> बड़ा है। <ref name="OrdinalZoo" /> गणनीय क्रमसूचक <math>\alpha</math> महलो-स्थिर कहा जाता है यदि केवल <math>L_\alpha \prec_{\Sigma_1} L_{\beta}</math>, जहाँ <math>\beta</math> कम से कम पुनरावर्ती महलो क्रमसूचक से <math>\alpha</math> बड़ा है।<ref name="OrdinalZoo" />
*गणनीय क्रमसूचक <math>\alpha</math> दुगना कहा जाता है <math>(+1)</math>-स्थिर यदि केवल  <math>(+1)</math> है -स्थिर क्रमसूचक <math>\beta > \alpha</math> ऐसा है कि <math>L_\alpha \prec_{\Sigma_1} L_{\beta}</math>.<ref name="OrdinalZoo" />दूसरे क्रम के अंकगणित के उप-प्रणालियों के विश्लेषण सहित प्रमाण-सैद्धांतिक प्रकाशनों में स्थिरता की ठोस स्थिरता सामने आई हैं। <ref>{{Cite arXiv|last=Arai|first=Toshiyasu|eprint=1104.1842v1|title=प्रूफ थ्योरी में हार्डलाइन का परिचय|date=1996}}</ref>


==== स्थिर अध्यादेशों के वेरिएंट ====
ये स्थिर अध्यादेशों के कमजोर रूप हैं। उपरोक्त कम से कम गैर-प्रोजेक्टेबल ऑर्डिनल से अल्प इन गुणों वाले अध्यादेश हैं,<ref name="OrdinalZoo" />उदाहरण के लिए एक क्रमसूचक है <math>(+1)</math>-स्थिर अगर यह है <math>\Pi_n^0</math>-सभी प्राकृतिक के लिए प्रतिबिंबित <math>n</math>.<ref name="RichterAczel74" />* एक गणनीय अध्यादेश <math>\alpha</math> कहा जाता है <math>(+\beta)</math>-स्थिर [[अगर और केवल अगर]] <math>L_\alpha \prec_{\Sigma_1} L_{\alpha+\beta}</math><ref name="OrdinalZoo">D. Madore, [http://www.madore.org/~david/math/ordinal-zoo.pdf A Zoo of Ordinals]. Accessed 2022-12-04.</ref>
* एक गणनीय अध्यादेश <math>\alpha</math> कहा जाता है <math>(^+)</math>-स्थिर अगर और केवल अगर <math>L_\alpha \prec_{\Sigma_1} L_{\beta}</math>, कहाँ <math>\beta</math> कम से कम स्वीकार्य क्रमिक से बड़ा है <math>\alpha</math>.<ref name="OrdinalZoo" /><ref name=":5">{{Cite journal|date=1978-01-01|title=स्वीकार्य पुनरावर्तन सिद्धांत पर लघु पाठ्यक्रम|url=https://www.sciencedirect.com/science/article/abs/pii/S0049237X08709418|journal=Studies in Logic and the Foundations of Mathematics|language=en|volume=94|pages=355–390|doi=10.1016/S0049-237X(08)70941-8|issn=0049-237X|last1=Simpson |first1=Stephen G. |isbn=9780444851635 }}</ref>
* एक गणनीय अध्यादेश <math>\alpha</math> कहा जाता है <math>(^{++})</math>-स्थिर अगर और केवल अगर <math>L_\alpha \prec_{\Sigma_1} L_{\beta}</math>, कहाँ <math>\beta</math> कम से कम स्वीकार्य क्रमसूचक से बड़ा एक स्वीकार्य क्रमसूचक से बड़ा है <math>\alpha</math>.<ref name=":5" />* एक गणनीय अध्यादेश <math>\alpha</math> को दुर्गम-स्थिर कहा जाता है यदि और केवल यदि <math>L_\alpha \prec_{\Sigma_1} L_{\beta}</math>, कहाँ <math>\beta</math> कम से कम पुनरावर्ती दुर्गम क्रमसूचक से बड़ा है <math>\alpha</math>.<ref name="OrdinalZoo" />* एक गणनीय अध्यादेश <math>\alpha</math> महलो-स्थिर कहा जाता है अगर और केवल अगर <math>L_\alpha \prec_{\Sigma_1} L_{\beta}</math>, कहाँ <math>\beta</math> कम से कम रिकर्सिवली महलो ऑर्डिनल से बड़ा है <math>\alpha</math>.<ref name="OrdinalZoo" />* एक गणनीय अध्यादेश <math>\alpha</math> दुगना कहा जाता है <math>(+1)</math>-स्थिर अगर और केवल अगर एक है <math>(+1)</math>-स्थिर क्रमसूचक <math>\beta > \alpha</math> ऐसा है कि <math>L_\alpha \prec_{\Sigma_1} L_{\beta}</math>.<ref name="OrdinalZoo" />दूसरे क्रम के अंकगणित के उप-प्रणालियों के विश्लेषण सहित प्रमाण-सैद्धांतिक प्रकाशनों में स्थिरता की मजबूत कमजोरियां सामने आई हैं। <ref>{{Cite arXiv|last=Arai|first=Toshiyasu|eprint=1104.1842v1|title=प्रूफ थ्योरी में हार्डलाइन का परिचय|date=1996}}</ref>


== छद्म सुव्यवस्थित ==


== एक छद्म सुव्यवस्थित ==
क्लेन के अंकन की योजना के अंदर कुछ क्रमसूचकों का प्रतिनिधित्व करते हैं और कुछ नहीं करते हैं। पुनरावर्ती कुल क्रम को परिभाषित कर सकता है जो कि क्लेन अंकन का उपसमुच्चय है और प्रारंभिक खंड है जो क्रम-प्रकार के साथ <math>\omega_1^{\mathrm{CK}}</math> सुव्यवस्थित है, इस कुल आदेश के क्रम प्रत्येक पुनरावर्ती गणना योग्य (या यहां तक ​​​​कि अतिगणतीय) गैर-रिक्त उपसमुच्चय में कम से कम तत्व होता है। तो यह कुछ अभिप्राय में सुव्यवस्थित जैसा दिखता है। उदाहरण के लिए, कोई इस पर अंकगणितीय संक्रियाओं को परिभाषित कर सकता है। तत्पश्चात यह प्रभावी रूप से निर्धारित करना संभव नहीं है कि प्रारंभिक सुव्यवस्थित भाग कहाँ समाप्त होता है और कम से कम तत्व की कमी वाला भाग प्रारम्भ होता है।
<!--{{Unreferenced section|date=December 2022}}-->
क्लेन के के भीतर कुछ अध्यादेशों का प्रतिनिधित्व करते हैं और कुछ नहीं। एक पुनरावर्ती कुल क्रम को परिभाषित कर सकता है जो कि क्लेन नोटेशन का एक उपसमुच्चय है और एक प्रारंभिक खंड है जो क्रम-प्रकार के साथ सुव्यवस्थित है <math>\omega_1^{\mathrm{CK}}</math>. इस कुल आदेश के प्रत्येक पुनरावर्ती गणना योग्य (या यहां तक ​​​​कि हाइपरअरिथमेटिक) गैर-रिक्त उपसमुच्चय में कम से कम तत्व होता है। तो यह कुछ मायनों में एक सुव्यवस्थित जैसा दिखता है। उदाहरण के लिए, कोई इस पर अंकगणितीय संक्रियाओं को परिभाषित कर सकता है। फिर भी यह प्रभावी ढंग से निर्धारित करना संभव नहीं है कि प्रारंभिक सुव्यवस्थित भाग कहाँ समाप्त होता है और कम से कम तत्व की कमी वाला भाग शुरू होता है।


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


ऐसे किसी भी निर्माण में ऑर्डर टाइप होना चाहिए <math>\omega_1^{CK}\times (1+\eta)+\rho</math>, कहाँ <math>\eta</math> का आदेश प्रकार है <math>(\mathbb Q,<)</math>, और <math>\rho</math> एक पुनरावर्ती क्रमसूचक है। <ref>W. Chan, [https://www.sciencedirect.com/science/article/pii/S0168007216301798 The countable admissible ordinal equivalence relation] (2017), p.1233. Accessed 28 December 2022.</ref>
ऐसे किसी भी निर्माण में क्रमसूचक होना चाहिए, <math>\omega_1^{CK}\times (1+\eta)+\rho</math>, जहाँ <math>\eta</math> का आदेश प्रकार है <math>(\mathbb Q,<)</math>, और <math>\rho</math> पुनरावर्ती क्रमसूचक है। <ref>W. Chan, [https://www.sciencedirect.com/science/article/pii/S0168007216301798 The countable admissible ordinal equivalence relation] (2017), p.1233. Accessed 28 December 2022.</ref>




==संदर्भ==
==संदर्भ==


Most books describing large countable ordinals are on proof theory, and unfortunately tend to be out of print.
बड़े गणनीय क्रमसूचकों का वर्णन करने वाली अधिकांश पुस्तकें  प्रमाण सिद्धांत पर हैं, और दुर्भाग्य से प्रिंट से बाहर हैं।








=== पुनरावर्ती अध्यादेशों पर ===
=== पुनरावर्ती क्रमसूचकों पर ===
* [[वोल्फ्राम पोहलर्स]], प्रूफ थ्योरी, स्प्रिंगर 1989 {{isbn|0-387-51842-8}} (वेब्लेन पदानुक्रम और कुछ अप्रतिबंधित अध्यादेशों के लिए)। यह शायद बड़े गणनीय अध्यादेशों (जो ज्यादा नहीं कह रहा है) पर सबसे अधिक पठनीय पुस्तक है।
* [[वोल्फ्राम पोहलर्स]], प्रमाण सिद्धांत, स्प्रिंगर 1989 {{isbn|0-387-51842-8}} (वेब्लेन पदानुक्रम और कुछ अप्रतिबंधित क्रमसूचकों के लिए)। यह बड़े गणनीय क्रमसूचकों पर सबसे अधिक पठनीय पुस्तक है।
* गेसी टेकुटी, प्रूफ थ्योरी, दूसरा संस्करण 1987 {{isbn|0-444-10492-5}} (क्रमिक आरेखों के लिए)
* गेसी टेकुटी, प्रमाण सिद्धांत, दूसरा संस्करण 1987 {{isbn|0-444-10492-5}} (क्रमिक आरेखों के लिए)
* कर्ट शुट्टे, प्रूफ थ्योरी, स्प्रिंगर 1977 {{isbn|0-387-07911-4}} (वेब्लेन पदानुक्रम और कुछ प्रतिकूल अध्यादेशों के लिए)
* कर्ट शुट्टे, प्रमाण सिद्धांत, स्प्रिंगर 1977 {{isbn|0-387-07911-4}} (वेब्लेन पदानुक्रम और कुछ प्रतिकूल क्रमसूचकों के लिए)
* [[क्रेग स्मोरिंस्की]], द वेरायटीज़ ऑफ़ आर्बोरियल एक्सपीरियंस मैथ। इंटेलिजेंसर 4 (1982), नहीं। 4, 182-189; वेबलेन पदानुक्रम का एक अनौपचारिक विवरण शामिल है।
* [[क्रेग स्मोरिंस्की]], द वेरायटीज़ ऑफ़ आर्बोरियल एक्सपीरियंस मैथ इंटेलिजेंसर 4 (1982), नहीं। 4, 182-189; वेबलेन पदानुक्रम का अनौपचारिक विवरण सम्मिलित है।
* हार्टले रोजर्स जूनियर, पुनरावर्ती कार्यों का सिद्धांत और प्रभावी संगणनीयता मैकग्रा-हिल (1967) {{isbn|0-262-68052-1}} (रिकर्सिव ऑर्डिनल्स और चर्च-क्लीन ऑर्डिनल का वर्णन करता है)
* हार्टले रोजर्स जूनियर, पुनरावर्ती फलन का सिद्धांत और प्रभावी संगणनीयता मैकग्रा-हिल (1967) {{isbn|0-262-68052-1}} (पुनरावर्ती क्रमसूचक्स और चर्च-क्लीन क्रमसूचक का वर्णन करता है)
* लैरी डब्ल्यू मिलर, नॉर्मल फ़ंक्शंस एंड कंस्ट्रक्टिव ऑर्डिनल नोटेशन्स, [[प्रतीकात्मक तर्क का जर्नल]], वॉल्यूम 41, नंबर 2, जून 1976, पेज 439 से 459, {{JSTOR|2272243}},
* लैरी डब्ल्यू मिलर, नॉर्मल फलन एंड कंस्ट्रक्टिव क्रमसूचक  अंकन्स, [[प्रतीकात्मक तर्क का जर्नल|प्रतीकात्मक नियम का जर्नल]], वॉल्यूम 41, नंबर 2, जून 1976, पेज 439 से 459, {{JSTOR|2272243}},
* [[हिल्बर्ट लेविट्ज़]], [http://www.cs.fsu.edu/~levitz/ords.ps ट्रांसफिनिट ऑर्डिनल्स एंड देयर नोटेशन्स: फॉर द अनिनिशिएटेड], एक्सपोजिटरी आर्टिकल (8 पेज, [[ परिशिष्ट भाग ]] में)
* [[हिल्बर्ट लेविट्ज़]], [http://www.cs.fsu.edu/~levitz/ords.ps परिमित क्रमसूचक्स एंड देयर अंकन्स: फॉर द अनिनिशिएटेड], एक्सपोजिटरी आर्टिकल (8 पेज, [[ परिशिष्ट भाग ]] में)
* [[हरमन रूज जर्वेल]], [http://folk.uio.no/herman/incompleteness.pdf ट्रुथ एंड प्रोविबिलिटी], पांडुलिपि प्रगति पर है।
* [[हरमन रूज जर्वेल]], [http://folk.uio.no/herman/incompleteness.pdf ट्रुथ एंड प्रोविबिलिटी], पांडुलिपि प्रगति पर है।


=== पुनरावर्ती अध्यादेशों से परे ===
=== पुनरावर्ती क्रमसूचकों से भिन्न ===
* {{cite book | last=Barwise | first=Jon | authorlink=Jon Barwise | title=स्वीकार्य सेट और संरचनाएं: निश्चितता सिद्धांत के लिए एक दृष्टिकोण| url=https://archive.org/details/admissiblesetsst00barw_0 | url-access=registration | publisher=Springer-Verlag | series=Perspectives in Mathematical Logic | year=1976 | isbn=3-540-07451-1}}
* {{cite book | last=Barwise | first=Jon | authorlink=Jon Barwise | title=स्वीकार्य सेट और संरचनाएं: निश्चितता सिद्धांत के लिए एक दृष्टिकोण| url=https://archive.org/details/admissiblesetsst00barw_0 | url-access=registration | publisher=Springer-Verlag | series=Perspectives in Mathematical Logic | year=1976 | isbn=3-540-07451-1}}
* {{cite book | last=Hinman | first=Peter G. | title=पुनरावर्तन-सैद्धांतिक पदानुक्रम|
* {{cite book | last=हिनमैन, | first=पीटर जी | title=पुनरावर्तन-सैद्धांतिक पदानुक्रम|
series = Perspectives in Mathematical Logic | publisher=Springer-Verlag | year=1978}}
series = गणितीय तर्क में परिप्रेक्ष्य। | publisher=स्प्रिंगर-वर्लाग। | year=1978}}


=== पुनरावर्ती और गैर-पुनरावर्ती क्रम दोनों ===
=== पुनरावर्ती और गैर-पुनरावर्ती क्रम दोनों ===
* [[माइकल राथजेन]], क्रमसूचक विश्लेषण का क्षेत्र। एस. बैरी कूपर|एस. बी. कूपर और जॉन ट्रस|जे. ट्रस (संपा.): सेट और प्रमाण। (कैम्ब्रिज यूनिवर्सिटी प्रेस, 1999) 219-279। [http://www.maths.leeds.ac.uk/~rathjen/srealm.ps पोस्टस्क्रिप्ट फ़ाइल] पर।
* [[माइकल राथजेन]], क्रमसूचक विश्लेषण का क्षेत्र एस. बैरी कूपर और जॉन ट्रस (संपा):समुच्चय और प्रमाण (कैम्ब्रिज यूनिवर्सिटी प्रेस, 1999) 219-279। [http://www.maths.leeds.ac.uk/~rathjen/srealm.ps पोस्टस्क्रिप्ट फ़ाइल] पर।


=== इनलाइन संदर्भ ===
=== इनलाइन संदर्भ ===
Line 184: Line 174:
{{countable ordinals}}
{{countable ordinals}}


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




[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 maint]]
[[Category:Collapse templates]]
[[Category:Created On 18/05/2023]]
[[Category:Created On 18/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[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 add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]

Latest revision as of 16:25, 30 October 2023

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

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

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

पुनरावर्ती क्रमसूचकों पर सामान्यता

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

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

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

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

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

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

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

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

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

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

वृहद पुनरावर्ती क्रमसूचक

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

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

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

क्रमसूचक: यदि केवल या तो ( और ) या ( और ) या ( और ).

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

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

अधिक सामान्यतः, Γα उन क्रमसूचक्स की गणना करता है जिन्हें अतिरिक्त और वेब्लेन फलन का उपयोग करके अल्प क्रमसूचक्स से प्राप्त नहीं किया जा सकता है।

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

अभेद्य क्रमसूचक

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

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

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

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

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

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

आगामी क्रमसूचक का उल्लेख कोड के भाग में किया गया है,एजीडीए में बड़े गणनीय क्रमसूचक और संख्या का वर्णन करने वाले और आंद्रस कोवाक्स द्वारा परिभाषित किया गया है।

आगामी क्रमसूचक का उल्लेख पूर्व के जैसे ही कोड के उसी भाग में किया गया है, और इसे परिभाषित किया गया है। यह आगामी क्रमसूचक, तत्पश्चात, कोड के इसी भाग में उल्लिखित है, जिसे परिभाषित किया गया है का प्रमाण-सैद्धांतिक क्रमसूचक है, सामान्यतः का प्रमाण-सैद्धांतिक क्रमसूचक . के समान है, ध्यान दें कि इस निश्चित उदाहरण में, का प्रतिनिधित्व प्रथम क्रमसूचक अशून्य करता है ।

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

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

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

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

अपरिवर्तनीय पुनरावर्ती क्रमसूचक

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

पुनरावर्ती क्रमसूचकों से भिन्न

चर्च-क्लीन क्रमसूचक

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

स्वीकार्य क्रमसूचक

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

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

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

प्रतिबिंब

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


असंभाव्यता

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


अप्राप्य क्रमसूचक

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

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


स्थिर क्रमसूचक

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

स्थिर क्रमसूचकों के प्रकार

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

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


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

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

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

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


संदर्भ

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



पुनरावर्ती क्रमसूचकों पर

  • वोल्फ्राम पोहलर्स, प्रमाण सिद्धांत, स्प्रिंगर 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.