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

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


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


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


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


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


क्रमसूचक: <math>\varphi_\alpha(\beta) < \varphi_\gamma(\delta)</math> यदि केवल या तो (<math>\alpha = \gamma</math> और <math>\beta < \delta</math>) या (<math>\alpha < \gamma</math> और <math>\beta < \varphi_\gamma(\delta)</math>) या (<math>\alpha > \gamma</math> और <math>\varphi_\alpha(\beta) < \delta</math>).
क्रमसूचक: <math>\varphi_\alpha(\beta) < \varphi_\gamma(\delta)</math> यदि केवल या तो (<math>\alpha = \gamma</math> और <math>\beta < \delta</math>) या (<math>\alpha < \gamma</math> और <math>\beta < \varphi_\gamma(\delta)</math>) या (<math>\alpha > \gamma</math> और <math>\varphi_\alpha(\beta) < \delta</math>).
Line 76: Line 76:
  | title = Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  | title = Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  | volume = 897
  | volume = 897
  | year = 1981}}</ref> और दूसरे क्रम के अंकगणित का उपसमुच्चय <math>\Pi_1^1</math> - विचार + परिमित प्रवेश, और <math>ID_\omega</math>, का औपचारिक सिद्धांत <math>\omega</math> है।<ref name=":1">{{Cite web|date=2017-07-29|title=ऑर्डिनल्स का एक चिड़ियाघर|url=http://www.madore.org/~david/math/ordinal-zoo.pdf|url-status=live|access-date=2021-08-10|website=Madore}}</ref> अंकन में, इसे इस <math>\psi_0(\varepsilon_{\Omega_\omega + 1})</math> रूप में परिभाषित किया गया है, यह बुखोल्ज़ के साई कार्यों की श्रेणी का सर्वोच्च है।<ref>W. Buchholz, [https://www.sciencedirect.com/science/article/pii/0168007286900527 A new system of proof-theoretic ordinal functions] (1984) (lemmata 1.3 and 1.8). Accessed 2022-05-04.</ref> इसका नाम सर्वप्रथम डेविड मैडोर ने रखा था।
  | year = 1981}}</ref> और दूसरे क्रम के अंकगणित का उपसमुच्चय <math>\Pi_1^1</math> - विचार + परिमित प्रवेश, और <math>ID_\omega</math>, का औपचारिक सिद्धांत <math>\omega</math> है।<ref name=":1">{{Cite web|date=2017-07-29|title=ऑर्डिनल्स का एक चिड़ियाघर|url=http://www.madore.org/~david/math/ordinal-zoo.pdf|url-status=live|access-date=2021-08-10|website=Madore}}</ref> अंकन में, इसे इस <math>\psi_0(\varepsilon_{\Omega_\omega + 1})</math> रूप में परिभाषित किया गया है, यह बुखोल्ज़ के साई फलन की श्रेणी का सर्वोच्च है।<ref>W. Buchholz, [https://www.sciencedirect.com/science/article/pii/0168007286900527 A new system of proof-theoretic ordinal functions] (1984) (lemmata 1.3 and 1.8). Accessed 2022-05-04.</ref> इसका नाम सर्वप्रथम डेविड मैडोर ने रखा था।


आगामी क्रमसूचक का उल्लेख कोड के भाग में किया गया है,[https://gist.github.com/AndrasKovacs/8d445c8457ea0967e807c726b2ce5a3a एजीडीए में बड़े गणनीय क्रमसूचक और संख्या] का वर्णन करने वाले  और आंद्रस कोवाक्स द्वारा <math>\psi_0(\Omega_{\omega+1} \cdot \varepsilon_0)</math> परिभाषित किया गया है।  
आगामी क्रमसूचक का उल्लेख कोड के भाग में किया गया है,[https://gist.github.com/AndrasKovacs/8d445c8457ea0967e807c726b2ce5a3a एजीडीए में बड़े गणनीय क्रमसूचक और संख्या] का वर्णन करने वाले  और आंद्रस कोवाक्स द्वारा <math>\psi_0(\Omega_{\omega+1} \cdot \varepsilon_0)</math> परिभाषित किया गया है।  
Line 86: Line 86:
अनाम क्रमसूचक है, जिसे डेविड मैडोर ने गणनीय समाप्ति <math>\varepsilon_{I+1}</math> के रूप में संदर्भित किया है,<ref name=":0" />जहाँ <math>I</math> प्रथम अप्राप्य है (=<math>\Pi^1_0</math>-अवर्णनीय) कार्डिनल,यह क्रिप्के-प्लेटक समुच्चय सिद्धांत का प्रमाण-सैद्धांतिक क्रमसूचक क्रमांक है। क्रिपके-प्लेटेक समुच्चय सिद्धांत क्रमसूचक (KPआई) के वर्ग की पुनरावर्ती दुर्गमता द्वारा संवर्धित, या, अंकगणितीय पक्ष पर, <math>\Delta^1_2</math> -विचार + परिमित प्रवेश, इसका मूल्य <math>\psi(\varepsilon_{I+1})</math> अज्ञात फलन को उपयोग करने समान है।
अनाम क्रमसूचक है, जिसे डेविड मैडोर ने गणनीय समाप्ति <math>\varepsilon_{I+1}</math> के रूप में संदर्भित किया है,<ref name=":0" />जहाँ <math>I</math> प्रथम अप्राप्य है (=<math>\Pi^1_0</math>-अवर्णनीय) कार्डिनल,यह क्रिप्के-प्लेटक समुच्चय सिद्धांत का प्रमाण-सैद्धांतिक क्रमसूचक क्रमांक है। क्रिपके-प्लेटेक समुच्चय सिद्धांत क्रमसूचक (KPआई) के वर्ग की पुनरावर्ती दुर्गमता द्वारा संवर्धित, या, अंकगणितीय पक्ष पर, <math>\Delta^1_2</math> -विचार + परिमित प्रवेश, इसका मूल्य <math>\psi(\varepsilon_{I+1})</math> अज्ञात फलन को उपयोग करने समान है।


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


* दूसरे क्रम के अंकगणित का प्रमाण-सैद्धांतिक क्रम है।
* दूसरे क्रम के अंकगणित का प्रमाण-सैद्धांतिक क्रम है।
Line 97: Line 97:


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


Line 115: Line 111:


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




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




Line 125: Line 121:
{{see also|न्यूनतम मॉडल (सेट सिद्धांत)}}
{{see also|न्यूनतम मॉडल (सेट सिद्धांत)}}


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


यदि <math>T</math> पुनरावर्ती गणनीय समुच्चय सिद्धांत है जो निर्माण की स्वयंसिद्धता के साथ संगत है, |V=L, सबसे कम <math>\alpha</math> ऐसा है कि <math>(L_\alpha,\in)\vDash T</math> कम से कम स्थिर क्रमसूचक से कम है, जो इस प्रकार है।<ref>W. Marek, K. Rasmussen, {{WorldCat|oclc=1280819208|name=Spectrum of L}} ([https://eudml.org/doc/268487 EuDML] page), Państwowe Wydawn. Accessed 2022-12-01.</ref>
यदि <math>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> प्रारंभिक तुल्यता है, L का प्राथमिक उपमॉडल; जेडएफसी में इन क्रमसूचकों के अस्तित्व को सिद्ध किया जा सकता है,<ref>Barwise (1976), theorem 7.2.</ref> और वे मॉडल-सैद्धांतिक दृष्टिकोण से से गैर-प्रक्षेप्य क्रमसूचकों के निकटता से संबंधित हैं।<ref name=":0">D. Madore, [http://www.madore.org/~david/math/ordinal-zoo.pdf A Zoo of Ordinals] (2017) (p.6). Accessed 2021-05-06.</ref> गणनीय <math>\alpha</math> के लिए <math>\alpha</math> की स्थिरता के समान <math>L_\alpha\prec_{\Sigma_1}L_{\omega_1}</math> है। <ref name="OrdinalZoo" />
 
==== स्थिर क्रमसूचकों के प्रकार ====
 
ये स्थिर क्रमसूचकों के शक्तिहीन रूप हैं। उपरोक्त कम से कम अप्रक्षेप्य क्रमसूचक से अल्प इन गुणों वाले क्रमसूचक हैं,<ref name="OrdinalZoo" />उदाहरण के लिए क्रमसूचक है <math>(+1)</math>-स्थिर यदि ऐसा  <math>\Pi_n^0</math>-है सभी प्राकृतिक के लिए प्रतिबिंबित <math>n</math>.<ref name="RichterAczel74" />* गणनीय क्रमसूचक <math>\alpha</math> कहा जाता है <math>(+\beta)</math>-स्थिर [[अगर और केवल अगर|यदि केवल]]  <math>L_\alpha \prec_{\Sigma_1} L_{\alpha+\beta}</math><ref name="OrdinalZoo">D. Madore, [http://www.madore.org/~david/math/ordinal-zoo.pdf A Zoo of Ordinals]. Accessed 2022-12-04.</ref>होता है।
 
==== स्थिर क्रमसूचकों के वेरिएंट ====
ये स्थिर क्रमसूचकों के शक्तिहीन रूप हैं। उपरोक्त कम से कम गैर-प्रोजेक्टेबल क्रमसूचक से अल्प इन गुणों वाले क्रमसूचक हैं,<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>(^{++})</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>(+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 से अल्प कोई असंगति प्रमाण नहीं है। तत्पश्चात टी का क्लेन-ब्राउवर ऑर्डर पुनरावर्ती छद्मवेल ऑर्डरिंग है।
पुनरावर्ती स्यूडो-वेल-क्रमसूचक के उदाहरण के लिए, S को ATR<sub>0</sub> या अन्य पुनरावर्ती स्वयंसिद्ध सिद्धांत होने दें, जिसमें ω-मॉडल है किन्तु कोई अतिगणतीयल ω-मॉडल नहीं है, और (यदि आवश्यक हो) स्कोलेम फलन के रूप में S का विस्तार करता है। मान लीजिए कि T, S के (अनिवार्य रूप से) परिमित आंशिक ω-मॉडल का वृक्ष है: प्राकृतिक संख्याओं का क्रम <math>x_1,x_2,...,x_n</math> T में है iff S प्लस ∃m φ(m) ⇒ φ(x<sub>⌈φ⌉</sub>) (प्रथम n सूत्रों के लिए φ संख्यात्मक मुक्त चर के साथ; ⌈φ⌉ गोडेल संख्या है) n से अल्प कोई असंगति प्रमाण नहीं है। तत्पश्चात T का क्लेन-ब्राउवर क्रम पुनरावर्ती छद्मवेल क्रमसूचक है।


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




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


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


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


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




[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 maint]]
[[Category:Collapse templates]]
[[Category:Created On 18/05/2023]]
[[Category:Created On 18/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]

Latest revision as of 16:25, 30 October 2023

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

प्रतिबिंब

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


असंभाव्यता

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


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

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

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


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

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

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

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

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


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

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

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

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


संदर्भ

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



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

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

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

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

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

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