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

From Vigyanwiki
No edit summary
No edit summary
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> उन क्रमसूचक्स की गणना करता है जिन्हें अतिरिक्त और वेब्लेन फ़ंक्शंस का उपयोग करके अल्प क्रमसूचक्स से प्राप्त नहीं किया जा सकता है।
अधिक सामान्यतः, जी<sub>''α''</sub> उन क्रमसूचक्स की गणना करता है जिन्हें अतिरिक्त और वेब्लेन फ़ंक्शंस का उपयोग करके अल्प क्रमसूचक्स से प्राप्त नहीं किया जा सकता है।
Line 56: Line 56:


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


अभी भी बड़े अध्यादेशों का निर्माण करने के लिए, हम बेशुमार अध्यादेशों के निर्माण के और तरीकों को फेंक कर ψ की परिभाषा का विस्तार कर सकते हैं। ऐसा करने के कई तरीके हैं, जिनका वर्णन क्रमसूचक कोलैप्सिंग फंक्शन पर लेख में कुछ हद तक किया गया है।
अभी भी बड़े अध्यादेशों का निर्माण करने के लिए, हम बेशुमार अध्यादेशों के निर्माण के और तरीकों को फेंक कर ψ की परिभाषा का विस्तार कर सकते हैं। ऐसा करने के कई तरीके हैं, जिनका वर्णन क्रमसूचक कोलैप्सिंग फंक्शन पर लेख में कुछ हद तक किया गया है।
Line 111: Line 111:
{{main|Admissible ordinal}}
{{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 पुनरावर्तीली महलो क्रमसूचक्स के अस्तित्व को साबित करता है। चूंकि, वे क्रिपके-प्लेटेक सेट सिद्धांत की पहुंच से परे हैं।)


=== प्रतिबिंब ===
=== प्रतिबिंब ===
Line 148: Line 148:
== छद्म सुव्यवस्थित ==
== छद्म सुव्यवस्थित ==


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


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


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




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


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




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

Revision as of 11:36, 25 May 2023

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

प्रतिबिंब

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


असंभाव्यता

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


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

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

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


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

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


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

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

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


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

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

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

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


संदर्भ

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



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

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

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

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

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

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

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