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

Revision as of 12:07, 25 May 2023

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

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

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

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

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

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

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

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

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

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

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

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

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

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

विशिष्ट पुनरावर्ती क्रमसूचक

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

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

\varepsilon _{0}+1,\qquad \omega ^{\varepsilon _{0}+1}=\varepsilon _{0}\cdot \omega ,\qquad \omega ^{\omega ^{\varepsilon _{0}+1}}=(\varepsilon _{0})^{\omega },\qquad {\text{etc.}}

अधिक आम तौर पर, $\iota$ -वाँ क्रमवाचक ऐसा है $\omega ^{\alpha }=\alpha$ कहा जाता है $\varepsilon _{\iota }$ . हम परिभाषित कर सकते हैं $\zeta _{0}$ सबसे अल्प क्रमसूचक के रूप में $\varepsilon _{\alpha }=\alpha$ , किन्तु चूंकि ग्रीक वर्णमाला में कई अक्षर नहीं हैं, इसलिए अधिक ठोस संकेतन का उपयोग करना बेहतर है: क्रमांक को परिभाषित करें $\varphi _{\gamma }(\beta )$ ट्रांसफिनिट इंडक्शन द्वारा इस प्रकार है: चलो $\varphi _{0}(\beta )=\omega ^{\beta }$ और जाने $\varphi _{\gamma +1}(\beta )$ हो $\beta$ -वाँ निश्चित बिंदु $\varphi _{\gamma }$ (यानी, $\beta$ -वाँ क्रमवाचक ऐसा है $\varphi _{\gamma }(\alpha )=\alpha$ ; तो उदाहरण के लिए, $\varphi _{1}(\beta )=\varepsilon _{\beta }$ ), और जब $\delta$ एक सीमा क्रमसूचक है, परिभाषित करें $\varphi _{\delta }(\alpha )$ के रूप में $\alpha$ -वाँ आम निश्चित बिंदु $\varphi _{\gamma }$ सभी के लिए $\gamma <\delta$ . कार्यों के इस परिवार को वेब्लेन पदानुक्रम के रूप में जाना जाता है (परिभाषा में अनावश्यक भिन्नताएं हैं, जैसे कि अनुमति देना, for $\delta$ एक सीमा क्रमसूचक, $\varphi _{\delta }(\alpha )$ की सीमा हो $\varphi _{\gamma }(\alpha )$ के लिए $\gamma <\delta$ : यह अनिवार्य रूप से केवल सूचकांकों को 1 से बदलता है, जो हानिरहित है)। $\varphi _{\gamma }$ कहा जाता है $\gamma ^{th}$ Veblen फंक्शन(आधार के लिए $\omega$ ).

आदेश देना: $\varphi _{\alpha }(\beta )<\varphi _{\gamma }(\delta )$ यदि और केवल यदि या तो ( $\alpha =\gamma$ और $\beta <\delta$ ) या ( $\alpha <\gamma$ और $\beta <\varphi _{\gamma }(\delta )$ ) या ( $\alpha >\gamma$ और $\varphi _{\alpha }(\beta )<\delta$ ).

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

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

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

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

इम्प्रिडिकेटिव क्रमसूचक्स

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

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

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

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

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

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

Agda में बड़े गणनीय क्रमसूचक और संख्या का वर्णन करने वाले कोड के एक टुकड़े में अगले क्रमसूचक का उल्लेख किया गया है, और AndrasKovacs द्वारा परिभाषित किया गया है $\psi _{0}(\Omega _{\omega +1}\cdot \varepsilon _{0})$ .

अगले क्रमसूचक का उल्लेख पहले की प्रकार ही कोड के उसी टुकड़े में किया गया है, और इसे परिभाषित किया गया है $\psi _{0}(\Omega _{\omega ^{\omega }})$ . का प्रमाण-सैद्धांतिक क्रमसूचक है $ID_{<\omega ^{\omega }}$ . यह अगला क्रमसूचक, एक बार फिर, कोड के इसी टुकड़े में उल्लिखित है, जिसे परिभाषित किया गया है $\psi _{0}(\Omega _{\varepsilon _{0}})$ , का प्रमाण-सैद्धांतिक क्रमसूचक है $ID_{<\varepsilon _{0}}$ . सामान्य तौर पर, प्रूफ-सैद्धांतिक क्रमसूचक $ID_{<\nu }$ के बराबर है $\psi _{0}(\Omega _{\nu })$ - ध्यान दें कि इस निश्चित उदाहरण में, $\Omega _{0}$ का प्रतिनिधित्व करता है $1$ , पहला नॉनजीरो क्रमसूचक।

इस बिंदु तक के अधिकांश क्रमसूचकों को बुखोल्ज़ हाइड्रा (उदा. $\psi (\Omega _{\omega })=+(0(\omega ))$ )

अगला एक अनाम क्रमसूचक है, जिसे डेविड मैडोर ने गणनीय पतन के रूप में संदर्भित किया है $\varepsilon _{I+1}$ ,^[6]कहाँ $I$ पहला अप्राप्य है (= $\Pi _{0}^{1}$ -अवर्णनीय) कार्डिनल। यह क्रिप्के-प्लेटक सेट थ्योरी का प्रूफ-थ्योरिटिक क्रमसूचक है। क्रिपके-प्लेटेक सेट थ्योरी क्रमसूचक्स (केपीआई) के वर्ग की पुनरावर्ती दुर्गमता द्वारा संवर्धित, या, अंकगणितीय पक्ष पर, $\Delta _{2}^{1}$ -समझ + ट्रांसफिनिट इंडक्शन। इसका मूल्य बराबर है $\psi (\varepsilon _{I+1})$ अज्ञात फ़ंक्शन का उपयोग करना।

अगला एक और अनाम क्रमसूचक है, जिसे डेविड मैडोर ने गणनीय पतन के रूप में संदर्भित किया है $\varepsilon _{M+1}$ ,^[6]कहाँ $M$ पहला महलो कार्डिनल है। यह केपीएम का प्रूफ-थ्योरिटिक क्रमसूचक है, क्रिप्के-प्लेटेक सेट थ्योरी का विस्तार है। कृपके-प्लेटेक सेट थ्योरी महलो कार्डिनल पर आधारित है।^[7] इसका मूल्य बराबर है $\psi (\varepsilon _{M+1})$ बुखोल्ज़ के विभिन्न साई कार्यों में से एक का उपयोग करना।^[8] अगला एक और अनाम क्रमसूचक है, जिसे डेविड मैडोर ने गणनीय पतन के रूप में संदर्भित किया है $\varepsilon _{K+1}$ ,^[6]कहाँ $K$ पहला शक्तिहीन कॉम्पैक्ट है (= $\Pi _{1}^{1}$ -अवर्णनीय) कार्डिनल। यह क्रिप्के-प्लेटेक सेट सिद्धांत का प्रमाण-सैद्धांतिक क्रम है। क्रिप्के-प्लेटेक सेट सिद्धांत + Π3 - Ref। इसका मूल्य बराबर है $\Psi (\varepsilon _{K+1})$ राथजेन के साई फंक्शनका उपयोग करना।^[9] अगला एक और अनाम क्रमसूचक है, जिसे डेविड मैडोर ने गणनीय पतन के रूप में संदर्भित किया है $\varepsilon _{\Xi +1}$ ,^[6]कहाँ $\Xi$ पहला है $\Pi _{0}^{2}$ -अवर्णनीय कार्डिनल। यह क्रिप्के-प्लेटक सेट सिद्धांत का प्रूफ-सैद्धांतिक क्रम है। क्रिप्के-प्लेटक सेट सिद्धांत + Πω-Ref। इसका मूल्य बराबर है $\Psi _{X}^{\varepsilon _{\Xi +1}}$ स्टीगर्ट के साई फ़ंक्शन का उपयोग करते हुए, जहां $X$ = ( $\omega ^{+}$ ; $P_{0}$ ; $\epsilon$ , $\epsilon$ , 0).^[10] अगला अंतिम अनाम क्रमसूचक है, जिसे डेविड मैडोर द्वारा स्थिरता के प्रमाण-सैद्धांतिक क्रमसूचक के रूप में संदर्भित किया गया है।^[6]यह स्थिरता का प्रूफ-सैद्धांतिक क्रमसूचक है, क्रिप्के-प्लेटक सेट सिद्धांत का विस्तार है। इसका मूल्य बराबर है $\Psi _{X}^{\varepsilon _{Y+1}}$ स्टीगर्ट के साई फ़ंक्शन का उपयोग करते हुए, जहां $X$ = ( $\omega ^{+}$ ; $P_{0}$ ; $\epsilon$ , $\epsilon$ , 0).^[10] अगला क्रमसूचकों का एक समूह है जिसके बारे में ज्यादा जानकारी नहीं है, किन्तु अभी भी अधिक महत्वपूर्ण हैं (आरोही क्रम में):

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

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

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

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

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

पुनरावर्ती क्रमसूचक्स के सेट का सुप्रीम सबसे छोटा क्रमसूचक है जिसे पुनरावर्ती तरीके से वर्णित नहीं किया जा सकता है। (यह पूर्णांकों के किसी भी पुनरावर्ती सुव्यवस्थित क्रम का क्रम प्रकार नहीं है।) वह क्रमसूचक एक गणनीय क्रमसूचक है जिसे चर्च-क्लीन क्रमसूचक कहा जाता है। $\omega _{1}^{\mathrm {CK} }$ . इस प्रकार, $\omega _{1}^{\mathrm {CK} }$ सबसे छोटा गैर-पुनरावर्ती क्रमसूचक है, और इस बिंदु से किसी भी क्रमसूचक का ठीक-ठीक वर्णन करने की कोई उम्मीद नहीं है - हम केवल उन्हें परिभाषित कर सकते हैं। किन्तु यह अभी भी पूर्व अनगिनत क्रमसूचक से बहुत कम है, $\omega _{1}$ . चूंकि, जैसा कि इसके प्रतीक से पता चलता है, यह कई प्रकार से व्यवहार करता है, जैसे कि $\omega _{1}$ . उदाहरण के लिए, कोई क्रमिक ढहने वाले कार्यों को परिभाषित कर सकता है $\omega _{1}^{\mathrm {CK} }$ के बजाय $\omega _{1}$ .

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

चर्च-क्लेन क्रमसूचक फिर से क्रिपके-प्लेटक सेट सिद्धांत से संबंधित है, किन्तु अब एक भिन्न तरीके से: जबकि बाचमैन-हावर्ड क्रमसूचक (#Impredicative ordinals वर्णित) सबसे छोटा क्रमसूचक था जिसके लिए केपी ट्रांसफिनिट इंडक्शन प्रमाणित नहीं करता है, चर्च- क्लेन क्रमसूचक सबसे छोटा α है जैसे कि रचनात्मक ब्रह्मांड का निर्माण | गोडेल ब्रह्मांड, एल, चरण α तक, एक मॉडल उत्पन्न करता है $L_{\alpha }$ केपी का। इस प्रकार के क्रमसूचकों को स्वीकार्य कहा जाता है $\omega _{1}^{\mathrm {CK} }$ सबसे छोटा स्वीकार्य क्रमिक है (केपी में अनंतता के स्वयंसिद्ध को सम्मिलित नहीं किए जाने की स्थिति में ω से परे)।

गेराल्ड सैक्स के एक प्रमेय के अनुसार, गणनीय स्वीकार्य क्रमसूचक वास्तव में चर्च-क्लेन क्रमसूचक के समान तरीके से निर्मित होते हैं किन्तु ओरेकल मशीन के साथ ट्यूरिंग मशीनों के लिए। कोई कभी-कभी लिखता है $\omega _{\alpha }^{\mathrm {CK} }$ के लिए $\alpha$ -वाँ क्रमिक जो या तो स्वीकार्य है या अल्प स्वीकार्य की सीमा है।

=== स्वीकार्य क्रमसूचकों से परे === $\omega _{\omega }^{\mathrm {CK} }$ स्वीकार्य क्रमसूचकों की सबसे अल्प सीमा है (बाद में उल्लेख किया गया है), फिर भी क्रमसूचक स्वयं स्वीकार्य नहीं है। यह सबसे छोटा भी है $\alpha$ ऐसा है कि $L_{\alpha }\cap P(\omega )$ का एक मॉडल है $\Pi _{1}^{1}$ -समझ।^[4]^[11] एक आदेश जो स्वीकार्य और स्वीकार्य दोनों की सीमा है, या समकक्ष ऐसा है $\alpha$ है $\alpha$ -वें स्वीकार्य क्रमिक, को पुनरावर्ती दुर्गम कहा जाता है, और कम से कम पुनरावर्ती दुर्गम को निरूपित किया जा सकता है $\omega _{1}^{E_{1}}$ .^[12] एक क्रमसूचक जो पुनरावर्ती रूप से अप्राप्य दोनों है और पुनरावर्ती रूप से दुर्गम की सीमा को पुनरावर्ती रूप से अति दुर्गम कहा जाता है।^[4]इस प्रकार से बड़े क्रमसूचकों का एक सिद्धांत उपस्थित है जो कि (अल्प) बड़े कार्डिनल संपत्ति के समानांतर है। उदाहरण के लिए, हम पुनरावर्तीली Mahlo ordinals परिभाषित कर सकते हैं: ये हैं $\alpha$ ऐसा है कि हर $\alpha$ -पुनरावर्ती क्लोज्ड अनबाउंड सबसेट ऑफ $\alpha$ एक स्वीकार्य क्रमसूचक (एक कार्डिनल आंखें की परिभाषा का एक पुनरावर्ती एनालॉग) सम्मिलित है। किन्तु ध्यान दें कि हम अभी भी यहां संभवतः गणनीय क्रमसूचकों के बारे में बात कर रहे हैं। (जबकि ज़र्मेलो-फ्रेंकेल सेट सिद्धांत में दुर्गम या महलो कार्डिनल्स के अस्तित्व को प्रमाणित नहीं किया जा सकता है, जो कि पुनरावर्ती रूप से दुर्गम या पुनरावर्ती महलो क्रमसूचक्स ZFC का एक प्रमेय है: वास्तव में, कोई भी नियमित कार्डिनल पुनरावर्तीली महलो और अधिक है, किन्तु भले ही हम सीमित हों संगणनीय क्रमसूचक के लिए खुद, ZFC पुनरावर्तीली महलो क्रमसूचक्स के अस्तित्व को प्रमाणित करता है। चूंकि, वे क्रिपके-प्लेटेक सेट सिद्धांत की पहुंच से परे हैं।)

प्रतिबिंब

सूत्रों के सेट के लिए $\Gamma$ , सीमा क्रमसूचक $\alpha$ कहा जाता है $\Gamma$ -प्रतिबिंबित यदि रैंक $L_{\alpha }$ प्रत्येक के लिए निश्चित प्रतिबिंब संपत्ति को संतुष्ट करता है $\Gamma$ -सूत्र $\phi$ .^[13] ये क्रमसूचक KP+Π₃- जैसे सिद्धांतों के क्रमिक विश्लेषण में प्रकट होते हैं, कृपके-प्लेटक सेट सिद्धांत को को बढ़ाता है। a $\Pi _{3}$ -प्रतिबिंब स्कीमा,उन्हें कुछ अनगिनत कार्डिनल्स जैसे शक्तिहीन रूप से कॉम्पैक्ट कार्डिनल और अवर्णनीय कार्डिनल के पुनरावर्ती एनालॉग भी माना जा सकता है।^[14] उदाहरण के लिए, अध्यादेश जो $\Pi _{3}$ -प्रतिबिंबित करने को पुनरावर्ती शक्तिहीन रूप से कॉम्पैक्ट कहा जाता है।^[15] परिमित के लिए $n$ , कम से कम $\Pi _{n}$ -क्रमसूचक को प्रतिबिंबित करना भी मोनोटोनिक आगमनात्मक परिभाषाओं के क्लोजर क्रमसूचक का सर्वोच्च है, जिनके ग्राफ अंकगणितीय पदानुक्रम Π_m+1^{0 हैं। ^{^[15]विशेष रूप से, $\Pi _{3}$ -प्रतिबिंबित क्रमसूचकों में उच्च-क्रम फ़ंक्शन का उपयोग करके लक्षण वर्णन भी होता है। क्रमसूचक कार्यों पर उच्च-प्रकार के कार्यात्मक, उन्हें 2-स्वीकार्य क्रमसूचकों का नाम दिया जाता है। ^[15]सोलोमन फेफरमैन द्वारा अप्रकाशित पेपर प्रत्येक परिमित के लिए आपूर्ति करता है, $n$ समान संपत्ति के अनुरूप $\Pi _{n}$ -प्रतिबिंब होता है।^{^[16]}}}

असंभाव्यता

स्वीकार्य क्रमसूचक $\alpha$ कुल नहीं होने पर गैर-प्रक्षेप्य कहा जाता है $\alpha$ -पुनरावर्ती इंजेक्शन फ़ंक्शन मैपिंग $\alpha$ अल्प क्रम में, (यह नियमित कार्डिनल्स के लिए से सत्य है; चूंकि, मुख्य रूप से संगणनीय क्रमसूचक में रुचि रखते हैं।) स्वीकार्य, पुनरावर्ती दुर्गम, या यहाँ तक कि पुनरावर्ती रूप से महलो होने की तुलना में गैर-प्रक्षेप्य होना अत्यधिक ठोस स्थिति है।^[11]जेन्सेन की परियोजना की विधि द्वारा,^[17] यह इस कथन के समतुल्य है कि रचनात्मक ब्रह्मांड गोडेल ब्रह्मांड, एल, चरण α तक, मॉडल $L_{\alpha }$ केपी + का $\Sigma _{1}$ -भिन्नाव उत्पन्न करता है, चूंकि, $\Sigma _{1}$ -स्वयं बल के पर (की उपस्थिति में नहीं $V=L$ ) असंभाव्यता को इंगित करने के लिए ठोस पर्याप्त स्वयंसिद्ध स्कीमा नहीं है, वास्तव में इसके सकर्मक मॉडल $KP$ + $\Sigma _{1}$ हैं किसी भी गणनीय स्वीकार्य ऊंचाई का पृथक्करण $>\omega$ है।^[18]गैर-प्रोजेक्टिबल क्रमसूचक्स रोनाल्ड ब्योर्न जेन्सेन से जुड़े हुए हैं, प्रोजेक्टा पर जेन्सेन का कार्य करता है।^[19]^[20]

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

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

यदि $T$ पुनरावर्ती गणनीय सेट सिद्धांत है जो निर्माण की स्वयंसिद्धता के साथ संगत है, |V=L, सबसे कम $\alpha$ ऐसा है कि $(L_{\alpha },\in )\vDash T$ कम से कम स्थिर क्रमसूचक से कम है, जो इस प्रकार है।^[21]

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

यहां तक कि बड़े गणनीय क्रमसूचक, जिन्हें स्थिर क्रमसूचक कहा जाता है, को अवर्णनीयता की स्थिति या उन के रूप में परिभाषित किया जा सकता है $\alpha$ ऐसा है कि $L_{\alpha }$ का Σ₁ प्रारंभिक तुल्यता है, एल का प्राथमिक सबमॉडल; ZFC में इन क्रमसूचकों के अस्तित्व को सिद्ध किया जा सकता है,^[22] और वे मॉडल-सैद्धांतिक दृष्टिकोण से से गैर-प्रक्षेप्य क्रमसूचकों से निकटता से संबंधित हैं।^[6] गणनीय $\alpha$ के लिए $\alpha$ की स्थिरता के समान $L_{\alpha }\prec _{\Sigma _{1}}L_{\omega _{1}}$ है। ^[19]

स्थिर क्रमसूचकों के वेरिएंट

ये स्थिर क्रमसूचकों के शक्तिहीन रूप हैं। उपरोक्त कम से कम गैर-प्रोजेक्टेबल क्रमसूचक से अल्प इन गुणों वाले क्रमसूचक हैं,^[19]उदाहरण के लिए क्रमसूचक है $(+1)$ -स्थिर यदि ऐसा $\Pi _{n}^{0}$ -है सभी प्राकृतिक के लिए प्रतिबिंबित $n$ .^[15]* गणनीय क्रमसूचक $\alpha$ कहा जाता है $(+\beta )$ -स्थिर यदि केवल $L_{\alpha }\prec _{\Sigma _{1}}L_{\alpha +\beta }$ ^[19]होता है।

गणनीय क्रमसूचक $\alpha$ कहा जाता है $(^{+})$ -स्थिर यदि केवल $L_{\alpha }\prec _{\Sigma _{1}}L_{\beta }$ , जहाँ $\beta$ कम से कम स्वीकार्य क्रमिक से $\alpha$ बड़ा है। ^[19]^[23]
गणनीय क्रमसूचक $\alpha$ कहा जाता है $(^{++})$ -स्थिर यदि केवल $L_{\alpha }\prec _{\Sigma _{1}}L_{\beta }$ , जहाँ $\beta$ कम से कम स्वीकार्य क्रमसूचक से बड़ा स्वीकार्य क्रमसूचक से $\alpha$ बड़ा है,^[23] गणनीय क्रमसूचक $\alpha$ को दुर्गम-स्थिर कहा जाता है यदि केवल $L_{\alpha }\prec _{\Sigma _{1}}L_{\beta }$ , जहाँ $\beta$ कम से कम पुनरावर्ती दुर्गम क्रमसूचक से $\alpha$ बड़ा है। ^[19]* गणनीय क्रमसूचक $\alpha$ महलो-स्थिर कहा जाता है यदि केवल $L_{\alpha }\prec _{\Sigma _{1}}L_{\beta }$ , जहाँ $\beta$ कम से कम पुनरावर्तीली महलो क्रमसूचक से $\alpha$ बड़ा है।^[19]* गणनीय क्रमसूचक $\alpha$ दुगना कहा जाता है $(+1)$ -स्थिर यदि केवल $(+1)$ है -स्थिर क्रमसूचक $\beta >\alpha$ ऐसा है कि $L_{\alpha }\prec _{\Sigma _{1}}L_{\beta }$ .^[19]दूसरे क्रम के अंकगणित के उप-प्रणालियों के विश्लेषण सहित प्रमाण-सैद्धांतिक प्रकाशनों में स्थिरता की ठोस कमजोरिया सामने आई हैं। ^[24]

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

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

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

ऐसे किसी भी निर्माण में ऑर्डर टाइप होना चाहिए, $\omega _{1}^{CK}\times (1+\eta )+\rho$ , जहाँ $\eta$ का आदेश प्रकार है $(\mathbb {Q} ,<)$ , और $\rho$ पुनरावर्ती क्रमसूचक है। ^[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 पेज, परिशिष्ट भाग में)
हरमन रूज जर्वेल, ट्रुथ एंड प्रोविबिलिटी, पांडुलिपि प्रगति पर है।

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

Barwise, Jon (1976). स्वीकार्य सेट और संरचनाएं: निश्चितता सिद्धांत के लिए एक दृष्टिकोण. Perspectives in Mathematical Logic. Springer-Verlag. ISBN 3-540-07451-1.
हिनमैन,, पीटर जी (1978). पुनरावर्तन-सैद्धांतिक पदानुक्रम. गणितीय तर्क में परिप्रेक्ष्य।. स्प्रिंगर-वर्लाग।.{{cite book}}: CS1 maint: extra punctuation (link)

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

माइकल राथजेन, क्रमसूचक विश्लेषण का क्षेत्र एस. बैरी कूपर और जॉन ट्रस (संपा.):सेट और प्रमाण (कैम्ब्रिज यूनिवर्सिटी प्रेस, 1999) 219-279। पोस्टस्क्रिप्ट फ़ाइल पर।

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

↑ 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.
↑ Simpson, Stephen G. (2009). दूसरे क्रम के अंकगणित के सबसिस्टम. Perspectives in Logic (2 ed.). Cambridge: Cambridge University Press. ISBN 978-0-521-88439-6.
↑ 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.0 ^4.1 ^4.2 "ऑर्डिनल्स का एक चिड़ियाघर" (PDF). Madore. 2017-07-29. Retrieved 2021-08-10.{{cite web}}: CS1 maint: url-status (link)
↑ W. Buchholz, A new system of proof-theoretic ordinal functions (1984) (lemmata 1.3 and 1.8). Accessed 2022-05-04.
↑ ^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.
↑ 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.
↑ "कमजोर महलो कार्डिनल पर आधारित क्रमसूचक संकेतन" (PDF). University of Leeds. 1990. Retrieved 2021-08-10.{{cite web}}: CS1 maint: url-status (link)
↑ "प्रतिबिंब का सबूत सिद्धांत" (PDF). University of Leeds. 1993-02-21. Retrieved 2021-08-10.{{cite web}}: CS1 maint: url-status (link)
↑ ^10.0 ^10.1 Stegert, Jan-Carl (2010). "कृपके-प्लेटक सेट सिद्धांत का क्रमिक प्रमाण सिद्धांत मजबूत प्रतिबिंब सिद्धांतों द्वारा संवर्धित". miami.uni-muenster.de (in English). Retrieved 2021-08-10.
↑ ^11.0 ^11.1 "द्वितीय-क्रम अंकगणित की उप-प्रणालियाँ" (PDF). Penn State Institution. 2006-02-07. Retrieved 2010-08-10.{{cite web}}: CS1 maint: url-status (link)
↑ F. G. Abramson, G. E. Sacks, "Uncountable Gandy Ordinals" (1976), p.387. Accessed 13 February 2023.
↑ Arai, Toshiyasu (2015). "प्रथम-क्रम प्रतिबिंब का एक सरलीकृत विश्लेषण". arXiv:1907.17611v1.
↑ W. Richter, P. Aczel, Inductive Definitions and Reflection Properties of Admissible Ordinals (1973)
↑ ^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.
↑ S. Feferman, Indescribable Cardinals and Admissible Analogues (2013, unpublished). Accessed 18 November 2022.
↑ 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.
↑ "Fred G. Abramson, Locally countable models of $\Sigma _{1}$ -separation" (2014). Accessed 2022 July 23.
↑ ^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.
↑ K. J. Devlin, An introduction to the fine structure of the constructible hierarchy (1974). Accessed 21 February 2023.
↑ W. Marek, K. Rasmussen, Spectrum of L in libraries (WorldCat catalog) (EuDML page), Państwowe Wydawn. Accessed 2022-12-01.
↑ Barwise (1976), theorem 7.2.
↑ ^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.
↑ Arai, Toshiyasu (1996). "प्रूफ थ्योरी में हार्डलाइन का परिचय". arXiv:1104.1842v1.
↑ W. Chan, The countable admissible ordinal equivalence relation (2017), p.1233. Accessed 28 December 2022.

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

[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.

[:1-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.

[:0-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)

[:2-10] 10.0 ^10.1 Stegert, Jan-Carl (2010). "कृपके-प्लेटक सेट सिद्धांत का क्रमिक प्रमाण सिद्धांत मजबूत प्रतिबिंब सिद्धांतों द्वारा संवर्धित". miami.uni-muenster.de (in English). Retrieved 2021-08-10.

[:3-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)

[RichterAczel74-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 $\Sigma _{1}$ -separation" (2014). Accessed 2022 July 23.

[OrdinalZoo-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.

[:5-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.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

@@ Line 1: / Line 1: @@
 {{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|
 पुनरावर्ती क्रमसूचक}}
@@ Line 15: / Line 15: @@
 क्रमसूचक संकेतन}}
-[[पुनरावर्ती क्रमसूचक]] (या कंप्यूटेबल क्रमसूचक्स) कुछ संगणनीय अध्यादेश हैं: कम्प्यूटेशनल फ़ंक्शन द्वारा दर्शाए गए शिथिल बोलने वाले इसकी कई समतुल्य परिभाषाएँ हैं: सबसे सरल यह कहना है कि संगणनीय क्रमसूचक कुछ पुनरावर्ती (अर्थात, संगणनीय) प्राकृतिक संख्याओं का क्रम-प्रकार है; इसलिए, अनिवार्य रूप से, क्रमसूचक पुनरावर्ती होता है जब अल्प अध्यादेशों के सेट को इस प्रकार से प्रस्तुत कर सकते हैं कि कंप्यूटर ([[ट्यूरिंग मशीन]], कहते हैं) उन्हें परिवर्तित कर सकता है।
+[[पुनरावर्ती क्रमसूचक]] (या कंप्यूटेबल क्रमसूचक्स) कुछ संगणनीय क्रमसूचक हैं: कम्प्यूटेशनल फ़ंक्शन द्वारा दर्शाए गए शिथिल बोलने वाले इसकी कई समतुल्य परिभाषाएँ हैं: सबसे सरल यह कहना है कि संगणनीय क्रमसूचक कुछ पुनरावर्ती (अर्थात, संगणनीय) प्राकृतिक संख्याओं का क्रम-प्रकार है; इसलिए, अनिवार्य रूप से, क्रमसूचक पुनरावर्ती होता है जब अल्प क्रमसूचकों के सेट को इस प्रकार से प्रस्तुत कर सकते हैं कि कंप्यूटर ([[ट्यूरिंग मशीन]], कहते हैं) उन्हें परिवर्तित कर सकता है।
 भिन्न परिभाषा [[स्टीफन कोल क्लेन]] की क्रमसूचक संकेतन प्रणाली का उपयोग करती है। संक्षेप में, क्रमिक संकेतन या तो नाम शून्य है (क्रमिक 0 का वर्णन), या क्रमसूचक संकेतन का उत्तराधिकारी (उस संकेतन द्वारा वर्णित क्रमसूचक के उत्तराधिकारी का वर्णन), या ट्यूरिंग मशीन (गणना योग्य कार्य) जो बढ़ते क्रम का उत्पादन करती है क्रमसूचक संकेतन (जो क्रमसूचक का वर्णन करते हैं जो अनुक्रम की सीमा है), और क्रमसूचक संकेतन (आंशिक रूप से) आदेशित हैं, जिससे o के उत्तराधिकारी को o से बड़ा बनाया जा सके और सीमा को अनुक्रम के किसी भी पद से अधिक बनाया जा सके (यह क्रम संगणनीय है; चूंकि, क्रमसूचक संकेतन का सेट 'O' स्वयं अत्यधिक गैर-पुनरावर्ती है, यह निर्धारित करने की असंभवता के कारण कि क्या दी गई ट्यूरिंग मशीन वास्तव में संकेतन के अनुक्रम का उत्पादन करती है); पुनरावर्ती क्रमसूचक तब क्रमसूचक होता है जिसे कुछ क्रमसूचक संकेतन द्वारा वर्णित किया जाता है।
@@ Line 21: / Line 21: @@
 पुनरावर्ती क्रमसूचक से अल्प कोई भी क्रमसूचक स्वयं ही पुनरावर्ती होता है, इसलिए सभी पुनरावर्ती क्रमसूचक का सेट निश्चित (काउंटेबल) क्रमसूचक, चर्च-क्लीन क्रमसूचक (नीचे देखें) बनाता है।
-यह क्रमिक संकेतन के विषय में भूलने के लिए आकर्षक है, और केवल पुनरावर्ती अध्यादेशों के विषय में वर्णन करते हैं: और पुनरावर्ती अध्यादेशों के विषय में कुछ वर्णन दिए गए हैं, जो वास्तव में, इन अध्यादेशों के लिए अंकन का ध्यान करते हैं। यह जटिलताओं की ओर जाता है, चूंकि, यहां तक कि सबसे अल्प अनंत क्रमसूचक, ω, में कई अंकन हैं, जिनमें से कुछ को स्पष्ट संकेतन के समान प्रमाणित नहीं किया जा सकता है (सबसे सरल कार्यक्रम जो सभी प्राकृतिक संख्याओं की गणना करता है)।
+यह क्रमिक संकेतन के विषय में भूलने के लिए आकर्षक है, और केवल पुनरावर्ती क्रमसूचकों के विषय में वर्णन करते हैं: और पुनरावर्ती क्रमसूचकों के विषय में कुछ वर्णन दिए गए हैं, जो वास्तव में, इन क्रमसूचकों के लिए अंकन का ध्यान करते हैं। यह जटिलताओं की ओर जाता है, चूंकि, यहां तक कि सबसे अल्प अनंत क्रमसूचक, ω, में कई अंकन हैं, जिनमें से कुछ को स्पष्ट संकेतन के समान प्रमाणित नहीं किया जा सकता है (सबसे सरल कार्यक्रम जो सभी प्राकृतिक संख्याओं की गणना करता है)।
 === [[अंकगणित]] की प्रणालियों से संबंध ===
-संगणनीय अध्यादेशों और कुछ औपचारिक प्रणालियों के बीच एक संबंध है (अंकगणित युक्त, जो कि कम से कम पियानो स्वयंसिद्धों का एक उचित टुकड़ा है)।
+संगणनीय क्रमसूचकों और कुछ औपचारिक प्रणालियों के बीच एक संबंध है (अंकगणित युक्त, जो कि कम से कम पियानो स्वयंसिद्धों का एक उचित टुकड़ा है)।
 कुछ संगणनीय क्रमांक इतने बड़े होते हैं कि जब वे एक निश्चित क्रमिक संकेतन ओ द्वारा दिए जा सकते हैं, तो एक दी गई [[औपचारिक प्रणाली]] यह दिखाने के लिए पर्याप्त शक्तिशाली नहीं हो सकती है कि ओ, वास्तव में, एक क्रमसूचक संकेतन है: प्रणाली इतने बड़े के लिए [[ट्रांसफिनिट इंडक्शन]] नहीं दिखाती है ordinals.
@@ Line 33: / Line 33: @@
 किन्तु हम पीआनो के स्वयंसिद्धों से कहीं आगे के सिस्टम के लिए ऐसा कर सकते हैं। उदाहरण के लिए, क्रिप्के-प्लेटेक सेट सिद्धांत की प्रमाण-सैद्धांतिक शक्ति बाचमन-हावर्ड क्रमसूचक है, और वास्तव में, केवल पीआनो के स्वयंसिद्ध सिद्धांतों को जोड़ना है जो बछमन-हावर्ड क्रमसूचक के नीचे सभी क्रमों के क्रम को बताता है। क्रिपके-प्लेटेक सेट सिद्धांत के सभी अंकगणितीय परिणाम प्राप्त करने के लिए।
-== विशिष्ट पुनरावर्ती अध्यादेश ==
+== विशिष्ट पुनरावर्ती क्रमसूचक ==
 === विधेयात्मक परिभाषाएँ और वेब्लेन पदानुक्रम ===
@@ Line 46: / Line 46: @@
 === फेफ़रमैन-शुट्टे क्रमसूचक और परे ===
-सबसे छोटा क्रमसूचक ऐसा <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> Feferman-Schütte ordinal के रूप में जाना जाता है और आम तौर पर लिखा जाता है <math>\Gamma_0</math>. इसे सभी क्रमसूचकों के सेट के रूप में वर्णित किया जा सकता है, जिसे केवल वेब्लेन पदानुक्रम और जोड़ का उपयोग करके, शून्य से प्रारम्भ करके, परिमित भाव के रूप में लिखा जा सकता है। Feferman-Schütte ordinal महत्वपूर्ण है क्योंकि, एक अर्थ में जो सटीक बनाने के लिए जटिल है, यह सबसे छोटा (अनंत) क्रमसूचक है जिसे अल्प ordinals का उपयोग करके वर्णित नहीं किया जा सकता है। यह रिवर्स मैथमैटिक्स#अरिथमेटिकल ट्रांसफ़िनिट रिकर्सन ATR0 जैसी प्रणालियों की ताकत को मापता है।
 अधिक सामान्यतः, जी<sub>''α''</sub> उन क्रमसूचक्स की गणना करता है जिन्हें अतिरिक्त और वेब्लेन फ़ंक्शंस का उपयोग करके अल्प क्रमसूचक्स से प्राप्त नहीं किया जा सकता है।
-यह निश्चित रूप से, फेफर्मन-शुट्टे क्रमसूचक से परे अध्यादेशों का वर्णन करना संभव है। एक अधिक से अधिक जटिल तरीके से निश्चित बिंदुओं की तलाश जारी रख सकता है: के निश्चित बिंदुओं की गणना करें <math>\alpha\mapsto\Gamma_\alpha</math>, फिर उसके निश्चित बिंदुओं की गणना करें, और इसी प्रकार, और फिर पहले क्रमिक α की तलाश करें जैसे कि α इस प्रक्रिया के α चरणों में प्राप्त होता है, और इस तदर्थ तरीके से विकर्ण करना जारी रखता है। यह अल्प वेब्लेन क्रमसूचक और [[बड़े वेब्लेन ऑर्डिनल|बड़े वेब्लेन क्रमसूचक]] वेब्लेन क्रमसूचक्स की परिभाषा की ओर जाता है।
+यह निश्चित रूप से, फेफर्मन-शुट्टे क्रमसूचक से परे क्रमसूचकों का वर्णन करना संभव है। एक अधिक से अधिक जटिल तरीके से निश्चित बिंदुओं की तलाश जारी रख सकता है: के निश्चित बिंदुओं की गणना करें <math>\alpha\mapsto\Gamma_\alpha</math>, फिर उसके निश्चित बिंदुओं की गणना करें, और इसी प्रकार, और फिर पहले क्रमिक α की तलाश करें जैसे कि α इस प्रक्रिया के α चरणों में प्राप्त होता है, और इस तदर्थ तरीके से विकर्ण करना जारी रखता है। यह अल्प वेब्लेन क्रमसूचक और [[बड़े वेब्लेन ऑर्डिनल|बड़े वेब्लेन क्रमसूचक]] वेब्लेन क्रमसूचक्स की परिभाषा की ओर जाता है।
 === इम्प्रिडिकेटिव क्रमसूचक्स ===
 {{main|Ordinal collapsing function}}
-फ़ेफ़रमैन-शुट्टे क्रमसूचक से बहुत आगे जाने के लिए, नए तरीकों को पेश करने की आवश्यकता है। दुर्भाग्य से ऐसा करने के लिए अभी तक कोई मानक तरीका नहीं है: ऐसा लगता है कि इस विषय में प्रत्येक लेखक ने अपनी स्वयं की अंकन प्रणाली का आविष्कार किया है, और विभिन्न प्रणालियों के बीच अनुवाद करना अधिक कठिन है। इस प्रकार की पहली प्रणाली 1950 में बछमन द्वारा पेश की गई थी (एक तदर्थ तरीके से), और इसके विभिन्न विस्तार और विविधताओं का वर्णन बुखोलज़, टेकुटी (क्रमिक आरेख), फ़ेफ़रमैन (θ सिस्टम), [[पीटर एक्ज़ेल]], ब्रिज, शुट्टे और द्वारा किया गया था। पोहलर्स। चूंकि अधिकांश प्रणालियाँ एक ही मूल विचार का उपयोग करती हैं, कुछ बेशुमार अध्यादेशों के अस्तित्व का उपयोग करके नए गणनीय अध्यादेशों का निर्माण करना। यहाँ इस प्रकार की परिभाषा का एक उदाहरण दिया गया है, जिसका वर्णन [[क्रमिक ढहने का कार्य]] पर लेख में बहुत अधिक विस्तार से किया गया है:
+फ़ेफ़रमैन-शुट्टे क्रमसूचक से बहुत आगे जाने के लिए, नए तरीकों को पेश करने की आवश्यकता है। दुर्भाग्य से ऐसा करने के लिए अभी तक कोई मानक तरीका नहीं है: ऐसा लगता है कि इस विषय में प्रत्येक लेखक ने अपनी स्वयं की अंकन प्रणाली का आविष्कार किया है, और विभिन्न प्रणालियों के बीच अनुवाद करना अधिक कठिन है। इस प्रकार की पहली प्रणाली 1950 में बछमन द्वारा पेश की गई थी (एक तदर्थ तरीके से), और इसके विभिन्न विस्तार और विविधताओं का वर्णन बुखोलज़, टेकुटी (क्रमिक आरेख), फ़ेफ़रमैन (θ सिस्टम), [[पीटर एक्ज़ेल]], ब्रिज, शुट्टे और द्वारा किया गया था। पोहलर्स। चूंकि अधिकांश प्रणालियाँ एक ही मूल विचार का उपयोग करती हैं, कुछ बेशुमार क्रमसूचकों के अस्तित्व का उपयोग करके नए गणनीय क्रमसूचकों का निर्माण करना। यहाँ इस प्रकार की परिभाषा का एक उदाहरण दिया गया है, जिसका वर्णन [[क्रमिक ढहने का कार्य]] पर लेख में बहुत अधिक विस्तार से किया गया है:
-* ψ(α) को सबसे अल्प क्रमसूचक के रूप में परिभाषित किया गया है जिसे 0, 1, ω और Ω से प्रारम्भ करके और बार-बार जोड़, गुणा और घातांक लागू करके और ψ को पहले से बनाए गए अध्यादेशों को छोड़कर नहीं बनाया जा सकता है (सिवाय इसके कि ψ केवल लागू किया जा सकता है) α से कम तर्कों के लिए, यह सुनिश्चित करने के लिए कि यह अच्छी प्रकार से परिभाषित है)।
+* ψ(α) को सबसे अल्प क्रमसूचक के रूप में परिभाषित किया गया है जिसे 0, 1, ω और Ω से प्रारम्भ करके और बार-बार जोड़, गुणा और घातांक लागू करके और ψ को पहले से बनाए गए क्रमसूचकों को छोड़कर नहीं बनाया जा सकता है (सिवाय इसके कि ψ केवल लागू किया जा सकता है) α से कम तर्कों के लिए, यह सुनिश्चित करने के लिए कि यह अच्छी प्रकार से परिभाषित है)।
 यहाँ Ω = ω<sub>1</sub> पहला बेशुमार क्रमसूचक है। इसे इसलिए रखा गया है क्योंकि अन्यथा फ़ंक्शन ψ सबसे अल्प क्रमिक σ पर अटक जाता है जैसे कि ε<sub>''σ''</sub>=σ: विशेष रूप से ψ(α)=σ किसी भी क्रमिक α संतोषजनक σ≤α≤Ω के लिए। चूंकि तथ्य यह है कि हमने Ω को सम्मिलित किया है, हमें इस बिंदु को पार करने की अनुमति देता है: ψ(Ω+1) σ से बड़ा है। Ω की मुख्य संपत्ति जिसका हमने उपयोग किया है वह यह है कि यह ψ द्वारा उत्पादित किसी भी क्रमसूचक से अधिक है।
-अभी भी बड़े अध्यादेशों का निर्माण करने के लिए, हम बेशुमार अध्यादेशों के निर्माण के और तरीकों को फेंक कर ψ की परिभाषा का विस्तार कर सकते हैं। ऐसा करने के कई तरीके हैं, जिनका वर्णन क्रमसूचक कोलैप्सिंग फंक्शन पर लेख में कुछ हद तक किया गया है।
+अभी भी बड़े क्रमसूचकों का निर्माण करने के लिए, हम बेशुमार क्रमसूचकों के निर्माण के और तरीकों को फेंक कर ψ की परिभाषा का विस्तार कर सकते हैं। ऐसा करने के कई तरीके हैं, जिनका वर्णन क्रमसूचक कोलैप्सिंग फंक्शन पर लेख में कुछ हद तक किया गया है।
-'बैचमैन-हावर्ड क्रमसूचक' (कभी-कभी इसे 'हावर्ड क्रमसूचक' भी कहा जाता है, ψ<sub>0</sub>(इ<sub>Ω+1</sub>) उपरोक्त संकेतन के साथ) एक महत्वपूर्ण है, क्योंकि यह क्रिप्के-प्लेटेक सेट सिद्धांत के प्रमाण-सैद्धांतिक शक्ति का वर्णन करता है। वास्तव में, इन बड़े अध्यादेशों का मुख्य महत्व, और उनका वर्णन करने का कारण, कुछ औपचारिक प्रणालियों से उनका संबंध है जैसा कि ऊपर बताया गया है। चूंकि, पूर्ण द्वितीय क्रम अंकगणित के रूप में इस प्रकार की शक्तिशाली औपचारिक प्रणालियां, जर्मेलो-फ्रेंकेल सेट सिद्धांत को अकेले छोड़ दें, इस समय पहुंच से परे प्रतीत होती हैं।
+'बैचमैन-हावर्ड क्रमसूचक' (कभी-कभी इसे 'हावर्ड क्रमसूचक' भी कहा जाता है, ψ<sub>0</sub>(इ<sub>Ω+1</sub>) उपरोक्त संकेतन के साथ) एक महत्वपूर्ण है, क्योंकि यह क्रिप्के-प्लेटेक सेट सिद्धांत के प्रमाण-सैद्धांतिक शक्ति का वर्णन करता है। वास्तव में, इन बड़े क्रमसूचकों का मुख्य महत्व, और उनका वर्णन करने का कारण, कुछ औपचारिक प्रणालियों से उनका संबंध है जैसा कि ऊपर बताया गया है। चूंकि, पूर्ण द्वितीय क्रम अंकगणित के रूप में इस प्रकार की शक्तिशाली औपचारिक प्रणालियां, जर्मेलो-फ्रेंकेल सेट सिद्धांत को अकेले छोड़ दें, इस समय पहुंच से परे प्रतीत होती हैं।
 === बचमन-हावर्ड क्रमसूचक === से भी परे
-इसके अतिरिक्त, कई पुनरावर्ती अध्यादेश हैं जो पिछले वाले के रूप में अच्छी प्रकार से ज्ञात नहीं हैं। इनमें से पहला है Ψ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
+इसके अतिरिक्त, कई पुनरावर्ती क्रमसूचक हैं जो पिछले वाले के रूप में अच्छी प्रकार से ज्ञात नहीं हैं। इनमें से पहला है Ψ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
   | last2 = Feferman | first2 = Solomon | author2-link = Solomon Feferman
@@ Line 78: / Line 78: @@
   | 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}}
-[https://gist.github.com/AndrasKovacs/8d445c8457ea0967e807c726b2ce5a3a Agda में बड़े गणनीय अध्यादेश और संख्या] का वर्णन करने वाले कोड के एक टुकड़े में अगले अध्यादेश का उल्लेख किया गया है, और AndrasKovacs द्वारा परिभाषित किया गया है <math>\psi_0(\Omega_{\omega+1} \cdot \varepsilon_0)</math>.
+[https://gist.github.com/AndrasKovacs/8d445c8457ea0967e807c726b2ce5a3a Agda में बड़े गणनीय क्रमसूचक और संख्या] का वर्णन करने वाले कोड के एक टुकड़े में अगले क्रमसूचक का उल्लेख किया गया है, और AndrasKovacs द्वारा परिभाषित किया गया है <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_{\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_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>-अवर्णनीय) कार्डिनल। यह क्रिप्के-प्लेटक सेट थ्योरी का प्रूफ-थ्योरिटिक क्रमसूचक है। क्रिपके-प्लेटेक सेट थ्योरी क्रमसूचक्स (केपीआई) के वर्ग की पुनरावर्ती दुर्गमता द्वारा संवर्धित, या, अंकगणितीय पक्ष पर, <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> पहला महलो कार्डिनल है। यह केपीएम का प्रूफ-थ्योरिटिक क्रमसूचक है, क्रिप्के-प्लेटेक सेट थ्योरी का विस्तार है। कृपके-प्लेटेक सेट थ्योरी महलो कार्डिनल पर आधारित है।<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" />
-अगला अध्यादेशों का एक समूह है जिसके बारे में ज्यादा जानकारी नहीं है, किन्तु अभी भी अधिक महत्वपूर्ण हैं (आरोही क्रम में):
+अगला क्रमसूचकों का एक समूह है जिसके बारे में ज्यादा जानकारी नहीं है, किन्तु अभी भी अधिक महत्वपूर्ण हैं (आरोही क्रम में):
 * दूसरे क्रम के अंकगणित का प्रमाण-सैद्धांतिक क्रम।
@@ Line 95: / Line 95: @@
 * ज़र्मेलो-फ्रेंकेल सेट सिद्धांत का प्रमाण-सैद्धांतिक क्रमसूचक।
-=== अपरिवर्तनीय पुनरावर्ती अध्यादेश ===
+=== अपरिवर्तनीय पुनरावर्ती क्रमसूचक ===
-एक ठोस विवरण होने की आवश्यकता को छोड़ कर, बड़े पुनरावर्ती गणनीय अध्यादेशों को विभिन्न ठोस सिद्धांतों की ताकत को मापने वाले अध्यादेशों के रूप में प्राप्त किया जा सकता है; मोटे तौर पर कहा जाए तो, ये अध्यादेश सबसे अल्प अध्यादेश हैं जो सिद्धांत प्रमाणित नहीं कर सकते कि वे अच्छी प्रकार से आदेशित हैं। दूसरे क्रम के अंकगणित, [[ ज़र्मेलो सेट सिद्धांत ]], ज़र्मेलो-फ्रेंकेल सेट थ्योरी, या ज़र्मेलो-फ्रेंकेल सेट थ्योरी जैसे विभिन्न बड़े कार्डिनल स्वयंसिद्धों के साथ ठोस और ठोस सिद्धांत लेने से, कुछ बहुत बड़े पुनरावर्ती अध्यादेश मिलते हैं। (कठोरता से यह ज्ञात नहीं है कि ये सभी वास्तव में क्रमसूचक हैं: निर्माण द्वारा, किसी सिद्धांत की क्रमिक शक्ति को केवल एक ठोस सिद्धांत से ही एक क्रमसूचक प्रमाणित किया जा सकता है। इसलिए बड़े कार्डिनल स्वयंसिद्धों के लिए यह अधिक अस्पष्ट हो जाता है।)
+एक ठोस विवरण होने की आवश्यकता को छोड़ कर, बड़े पुनरावर्ती गणनीय क्रमसूचकों को विभिन्न ठोस सिद्धांतों की ताकत को मापने वाले क्रमसूचकों के रूप में प्राप्त किया जा सकता है; मोटे तौर पर कहा जाए तो, ये क्रमसूचक सबसे अल्प क्रमसूचक हैं जो सिद्धांत प्रमाणित नहीं कर सकते कि वे अच्छी प्रकार से आदेशित हैं। दूसरे क्रम के अंकगणित, [[ ज़र्मेलो सेट सिद्धांत ]], ज़र्मेलो-फ्रेंकेल सेट थ्योरी, या ज़र्मेलो-फ्रेंकेल सेट थ्योरी जैसे विभिन्न बड़े कार्डिनल स्वयंसिद्धों के साथ ठोस और ठोस सिद्धांत लेने से, कुछ बहुत बड़े पुनरावर्ती क्रमसूचक मिलते हैं। (कठोरता से यह ज्ञात नहीं है कि ये सभी वास्तव में क्रमसूचक हैं: निर्माण द्वारा, किसी सिद्धांत की क्रमिक शक्ति को केवल एक ठोस सिद्धांत से ही एक क्रमसूचक प्रमाणित किया जा सकता है। इसलिए बड़े कार्डिनल स्वयंसिद्धों के लिए यह अधिक अस्पष्ट हो जाता है।)
-== पुनरावर्ती अध्यादेशों से परे ==
+== पुनरावर्ती क्रमसूचकों से परे ==
@@ Line 108: / Line 108: @@
 पुनरावर्ती क्रमसूचक्स के सेट का सुप्रीम सबसे छोटा क्रमसूचक है जिसे पुनरावर्ती तरीके से वर्णित नहीं किया जा सकता है। (यह पूर्णांकों के किसी भी पुनरावर्ती सुव्यवस्थित क्रम का क्रम प्रकार नहीं है।) वह क्रमसूचक एक गणनीय क्रमसूचक है जिसे चर्च-क्लीन क्रमसूचक कहा जाता है। <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>.
-=== स्वीकार्य अध्यादेश ===
+=== स्वीकार्य क्रमसूचक ===
 {{main|Admissible ordinal}}
-चर्च-क्लेन क्रमसूचक फिर से क्रिपके-प्लेटक सेट सिद्धांत से संबंधित है, किन्तु अब एक भिन्न तरीके से: जबकि बाचमैन-हावर्ड क्रमसूचक (#Impredicative ordinals वर्णित) सबसे छोटा क्रमसूचक था जिसके लिए केपी ट्रांसफिनिट इंडक्शन प्रमाणित नहीं करता है, चर्च- क्लेन क्रमसूचक सबसे छोटा α है जैसे कि रचनात्मक ब्रह्मांड का निर्माण | गोडेल ब्रह्मांड, एल, चरण α तक, एक मॉडल उत्पन्न करता है <math>L_\alpha</math> केपी का। इस प्रकार के अध्यादेशों को स्वीकार्य कहा जाता है <math>\omega_1^{\mathrm{CK}}</math> सबसे छोटा स्वीकार्य क्रमिक है (केपी में अनंतता के स्वयंसिद्ध को सम्मिलित नहीं किए जाने की स्थिति में ω से परे)।
+चर्च-क्लेन क्रमसूचक फिर से क्रिपके-प्लेटक सेट सिद्धांत से संबंधित है, किन्तु अब एक भिन्न तरीके से: जबकि बाचमैन-हावर्ड क्रमसूचक (#Impredicative ordinals वर्णित) सबसे छोटा क्रमसूचक था जिसके लिए केपी ट्रांसफिनिट इंडक्शन प्रमाणित नहीं करता है, चर्च- क्लेन क्रमसूचक सबसे छोटा α है जैसे कि रचनात्मक ब्रह्मांड का निर्माण | गोडेल ब्रह्मांड, एल, चरण α तक, एक मॉडल उत्पन्न करता है <math>L_\alpha</math> केपी का। इस प्रकार के क्रमसूचकों को स्वीकार्य कहा जाता है <math>\omega_1^{\mathrm{CK}}</math> सबसे छोटा स्वीकार्य क्रमिक है (केपी में अनंतता के स्वयंसिद्ध को सम्मिलित नहीं किए जाने की स्थिति में ω से परे)।
-[[गेराल्ड सैक्स]] के एक प्रमेय के अनुसार, गणनीय स्वीकार्य अध्यादेश वास्तव में चर्च-क्लेन क्रमसूचक के समान तरीके से निर्मित होते हैं किन्तु [[ओरेकल मशीन]] के साथ ट्यूरिंग मशीनों के लिए। कोई कभी-कभी लिखता है <math>\omega_\alpha^{\mathrm{CK}}</math> के लिए <math>\alpha</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>\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>\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><ref name="RichterAczel74" />विशेष रूप से, <math>\Pi_3</math>-प्रतिबिंबित क्रमसूचकों में उच्च-क्रम फ़ंक्शन का उपयोग करके लक्षण वर्णन भी होता है। क्रमसूचक कार्यों पर उच्च-प्रकार के कार्यात्मक, उन्हें 2-स्वीकार्य क्रमसूचकों का नाम दिया जाता है। <ref name="RichterAczel74" />[[सोलोमन फेफरमैन]] द्वारा अप्रकाशित पेपर प्रत्येक परिमित के लिए आपूर्ति करता है, <math>n</math> समान संपत्ति के अनुरूप <math>\Pi_n</math>-प्रतिबिंब होता है।<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>गैर-प्रोजेक्टिबल क्रमसूचक्स रोनाल्ड ब्योर्न जेन्सेन से जुड़े हुए हैं, प्रोजेक्टा पर जेन्सेन का कार्य करता है।<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>
+स्वीकार्य क्रमसूचक <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>गैर-प्रोजेक्टिबल क्रमसूचक्स रोनाल्ड ब्योर्न जेन्सेन से जुड़े हुए हैं, प्रोजेक्टा पर जेन्सेन का कार्य करता है।<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|न्यूनतम मॉडल (सेट सिद्धांत)}}
-हम और भी बड़े अध्यादेशों की कल्पना कर सकते हैं जो अभी भी गणनीय हैं। उदाहरण के लिए, यदि ज़र्मेलो-फ्रेंकेल सेट थ्योरी में  [[सकर्मक मॉडल]] है (संगतता की मात्र परिकल्पना से ठोस परिकल्पना और दुर्गम कार्डिनल के अस्तित्व से निहित), तो वहाँ गणनीय उपस्थित <math>\alpha</math> है <math>L_\alpha</math> ऐसा है कि ZFC का मॉडल है। इस प्रकार के क्रमसूचक्स ZFC की शक्ति से इस अभिप्राय में परे हैं कि यह (निर्माण द्वारा) उनके अस्तित्व को प्रमाणित नहीं कर सकता है।
+हम और भी बड़े क्रमसूचकों की कल्पना कर सकते हैं जो अभी भी गणनीय हैं। उदाहरण के लिए, यदि ज़र्मेलो-फ्रेंकेल सेट थ्योरी में  [[सकर्मक मॉडल]] है (संगतता की मात्र परिकल्पना से ठोस परिकल्पना और दुर्गम कार्डिनल के अस्तित्व से निहित), तो वहाँ गणनीय उपस्थित <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>
-=== स्थिर अध्यादेश ===
+=== स्थिर क्रमसूचक ===
-यहां तक कि बड़े गणनीय अध्यादेश, जिन्हें स्थिर अध्यादेश कहा जाता है, को अवर्णनीयता की स्थिति या उन के रूप में परिभाषित किया जा सकता है <math>\alpha</math> ऐसा है कि <math>L_\alpha</math> का Σ<sub>1</sub> प्रारंभिक तुल्यता है, एल का प्राथमिक सबमॉडल; ZFC में इन अध्यादेशों के अस्तित्व को सिद्ध किया जा सकता है,<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" />
+यहां तक कि बड़े गणनीय क्रमसूचक, जिन्हें स्थिर क्रमसूचक कहा जाता है, को अवर्णनीयता की स्थिति या उन के रूप में परिभाषित किया जा सकता है <math>\alpha</math> ऐसा है कि <math>L_\alpha</math> का Σ<sub>1</sub> प्रारंभिक तुल्यता है, एल का प्राथमिक सबमॉडल; ZFC में इन क्रमसूचकों के अस्तित्व को सिद्ध किया जा सकता है,<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>होता है।
+ये स्थिर क्रमसूचकों के शक्तिहीन रूप हैं। उपरोक्त कम से कम गैर-प्रोजेक्टेबल क्रमसूचक से अल्प इन गुणों वाले क्रमसूचक हैं,<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="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>\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> सुव्यवस्थित है, इस कुल आदेश के प्रत्येक पुनरावर्ती गणना योग्य (या यहां तक कि हाइपरअरिथमेटिक) गैर-रिक्त उपसमुच्चय में कम से कम तत्व होता है। तो यह कुछ अभिप्राय में सुव्यवस्थित जैसा दिखता है। उदाहरण के लिए, कोई इस पर अंकगणितीय संक्रियाओं को परिभाषित कर सकता है। तत्पश्चात यह प्रभावी रूप से निर्धारित करना संभव नहीं है कि प्रारंभिक सुव्यवस्थित भाग कहाँ समाप्त होता है और कम से कम तत्व की कमी वाला भाग प्रारम्भ होता है।
+क्लेन के ओ के अंदर कुछ क्रमसूचकों का प्रतिनिधित्व करते हैं और कुछ नहीं करते हैं। पुनरावर्ती कुल क्रम को परिभाषित कर सकता है जो कि क्लेन अंकन का उपसमुच्चय है और प्रारंभिक खंड है जो क्रम-प्रकार के साथ <math>\omega_1^{\mathrm{CK}}</math> सुव्यवस्थित है, इस कुल आदेश के प्रत्येक पुनरावर्ती गणना योग्य (या यहां तक कि हाइपरअरिथमेटिक) गैर-रिक्त उपसमुच्चय में कम से कम तत्व होता है। तो यह कुछ अभिप्राय में सुव्यवस्थित जैसा दिखता है। उदाहरण के लिए, कोई इस पर अंकगणितीय संक्रियाओं को परिभाषित कर सकता है। तत्पश्चात यह प्रभावी रूप से निर्धारित करना संभव नहीं है कि प्रारंभिक सुव्यवस्थित भाग कहाँ समाप्त होता है और कम से कम तत्व की कमी वाला भाग प्रारम्भ होता है।
 पुनरावर्ती स्यूडो-वेल-ऑर्डरिंग के उदाहरण के लिए, 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 से अल्प कोई असंगति प्रमाण नहीं है। तत्पश्चात टी का क्लेन-ब्राउवर ऑर्डर पुनरावर्ती छद्मवेल ऑर्डरिंग है।
@@ Line 157: / Line 156: @@
 ==संदर्भ==
-बड़े गणनीय अध्यादेशों का वर्णन करने वाली अधिकांश पुस्तकें  प्रमाण सिद्धांत पर हैं, और दुर्भाग्य से प्रिंट से बाहर हैं।
+बड़े गणनीय क्रमसूचकों का वर्णन करने वाली अधिकांश पुस्तकें  प्रमाण सिद्धांत पर हैं, और दुर्भाग्य से प्रिंट से बाहर हैं।
-=== पुनरावर्ती अध्यादेशों पर ===
+=== पुनरावर्ती क्रमसूचकों पर ===
-* [[वोल्फ्राम पोहलर्स]], प्रमाण सिद्धांत, स्प्रिंगर 1989 {{isbn|0-387-51842-8}} (वेब्लेन पदानुक्रम और कुछ अप्रतिबंधित अध्यादेशों के लिए)। यह बड़े गणनीय अध्यादेशों पर सबसे अधिक पठनीय पुस्तक है।
+* [[वोल्फ्राम पोहलर्स]], प्रमाण सिद्धांत, स्प्रिंगर 1989 {{isbn|0-387-51842-8}} (वेब्लेन पदानुक्रम और कुछ अप्रतिबंधित क्रमसूचकों के लिए)। यह बड़े गणनीय क्रमसूचकों पर सबसे अधिक पठनीय पुस्तक है।
 * गेसी टेकुटी, प्रमाण सिद्धांत, दूसरा संस्करण 1987 {{isbn|0-444-10492-5}} (क्रमिक आरेखों के लिए)
-* कर्ट शुट्टे, प्रमाण सिद्धांत, स्प्रिंगर 1977 {{isbn|0-387-07911-4}} (वेब्लेन पदानुक्रम और कुछ प्रतिकूल अध्यादेशों के लिए)
+* कर्ट शुट्टे, प्रमाण सिद्धांत, स्प्रिंगर 1977 {{isbn|0-387-07911-4}} (वेब्लेन पदानुक्रम और कुछ प्रतिकूल क्रमसूचकों के लिए)
 * [[क्रेग स्मोरिंस्की]], द वेरायटीज़ ऑफ़ आर्बोरियल एक्सपीरियंस मैथ इंटेलिजेंसर 4 (1982), नहीं। 4, 182-189; वेबलेन पदानुक्रम का अनौपचारिक विवरण सम्मिलित है।
 * हार्टले रोजर्स जूनियर, पुनरावर्ती कार्यों का सिद्धांत और प्रभावी संगणनीयता मैकग्रा-हिल (1967) {{isbn|0-262-68052-1}} (पुनरावर्ती क्रमसूचक्स और चर्च-क्लीन क्रमसूचक का वर्णन करता है)
@@ Line 172: / Line 171: @@
 * [[हरमन रूज जर्वेल]], [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=हिनमैन, | first=पीटर जी | title=पुनरावर्तन-सैद्धांतिक पदानुक्रम|

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 12:07, 25 May 2023

Contents

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

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

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

विशिष्ट पुनरावर्ती क्रमसूचक

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

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

इम्प्रिडिकेटिव क्रमसूचक्स

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

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

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

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

प्रतिबिंब

असंभाव्यता

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

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

स्थिर क्रमसूचकों के वेरिएंट

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

संदर्भ

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

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

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

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

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 12:07, 25 May 2023

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

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

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

विशिष्ट पुनरावर्ती क्रमसूचक

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

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

इम्प्रिडिकेटिव क्रमसूचक्स

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

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

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

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

प्रतिबिंब

असंभाव्यता

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

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

स्थिर क्रमसूचकों के वेरिएंट

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

संदर्भ

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

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

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

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

Navigation

Wiki tools

Page tools

Other projects

Hidden categories