धनात्मक समुच्चय सिद्धांत: Difference between revisions

Latest revision as of 17:21, 8 August 2023

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

सामान्यतौर पर,इन सिद्धांतों की प्रेरणा संस्थानिक है: समुच्चय वे कक्षाएं हैं जो निश्चित संस्थानिक के तहत समापन होता हैं। धनात्मक सूत्रों के निर्माण में अनुमत विभिन्न निर्माणों के लिए सिमित करने की शर्तें आसानी से प्रेरित होती हैं (और कोई भी सामान्यीकृत धनात्मक समझ प्राप्त करने के लिए समुच्चय में बंधे सार्वभौमिक परिमाण के उपयोग को उचित ठहरा सकता है): अस्तित्वगत परिमाण के औचित्य के लिए यह आवश्यक लगता है कि संस्थानिक सघन स्थान रिक्त स्थान होता है |

अभिगृहीत

समुच्चय सिद्धांत $\mathrm {GPK} _{\infty }^{+}$ ओलिवियर एस्सेर के निम्नलिखित सिद्धांत सम्मिलित होता हैं:^[1]

विस्तृतता का सिद्धांत

$\forall x\forall y(\forall z(z\in x\leftrightarrow z\in y)\to x=y)$

समझ का धनात्मक सिद्धांत

$\exists x\forall y(y\in x\leftrightarrow \phi (y))$

जहाँ $\phi$ एक धनात्मक सूत्र है. एक धनात्मक सूत्र केवल तार्किक स्थिरांक का उपयोग करता है $\{\top ,\bot ,\land ,\lor ,\forall ,\exists ,=,\in \}$ लेकिन नहीं $\{\to ,\neg \}$ .

समापन

$\exists x\forall y(y\in x\leftrightarrow \forall z(\forall w(\phi (w)\rightarrow w\in z)\rightarrow y\in z))$

जहाँ $\phi$ एक धनात्मक सूत्र है.यानी हर सूत्र के लिए $\phi$ , सभी समुच्चय का प्रतिच्छेदन जिसमें प्रत्येक सम्मिलित है $x$ ऐसा है कि $\phi (x)$ उपस्थित होता है। इसे का समापन कहा जाता है $\{x\mid \phi (x)\}$ और विभिन्न तरीकों में से किसी एक में लिखा गया है जिससे संस्थानिक समापन प्रस्तुत किया जा सकता है। इसे अत्यधिक संक्षेप में रखा जा सकता है यदि वर्ग भाषा की अनुमति है (वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत के अनुसार वर्ग को परिभाषित करने वाले समुच्चय पर कोई भी शर्त): किसी भी वर्ग C के लिए समुच्चय होता है जो सभी समुच्चय का प्रतिच्छेदन होता है जिसमें C उपवर्ग के रूप में होता है। यदि समुच्चय को संस्थानिक में सिमित कक्षाओं के रूप में समझा जाता है तो यह एक उचित सिद्धांत है।

अनंत का अभिगृहीत

जॉन वॉन न्यूमैन क्रमसूचक संख्या $\omega$ उपस्थित होता है। यह सामान्य अर्थों में अनंत का सिद्धांत नहीं है; यदि अनंत धारण नहीं करता है, तो सिमित हो जाना $\omega$ अस्तित्व में है और स्वयं ही इसका एकमात्र अतिरिक्त सदस्य है (यह निश्चित रूप से अनंत है); इस स्वयंसिद्ध का मुद्दा यह है $\omega$ इसमें कोई भी अतिरिक्त तत्व सम्मिलित नहीं है, जो सिद्धांत को दूसरे क्रम के अंकगणित की ताकत से मोर्स-केली समुच्चय सिद्धांत की ताकत तक बढ़ा देता है, जिसमें उचित वर्ग क्रमसूचक कमजोर रूप से सघन मुख्य होता है।

अभिरुचि गुण

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

शोधकर्ता

इसहाक मालित्ज़ ने मूल रूप से यूसीएलए में अपनी 1976 की पीएचडी थीसिस में धनात्मक समुच्चय सिद्धांत पेश की थी |
अलोंजो चर्च उपरोक्त थीसिस की देखरेख करने वाली समिति का अध्यक्ष था |
ओलिवियर एसेर इस क्षेत्र में सबसे अत्यधिक सक्रिय नजर आते हैं।^{[citation needed]}

यह भी देखें

डब्ल्यू. वी. क्वीन द्वारा नई नींव

संदर्भ

↑ Holmes, M. Randall (21 September 2021). "वैकल्पिक स्वयंसिद्ध सेट सिद्धांत". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.

Esser, Olivier (1999), "On the consistency of a positive theory.", Mathematical Logic Quarterly, 45 (1): 105–116, doi:10.1002/malq.19990450110, MR 1669902

[1] Holmes, M. Randall (21 September 2021). "वैकल्पिक स्वयंसिद्ध सेट सिद्धांत". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.

[1]

@@ Line 1: / Line 1: @@
 {{Short description|Class of alternative set theories}}
-[[गणितीय तर्क]] में, सकारात्मक सेट सिद्धांत वैकल्पिक सेट सिद्धांत के एक वर्ग का नाम है जिसमें [[समझ का सिद्धांत]] कम से कम सकारात्मक सूत्रों के लिए होता है <math>\phi</math> (सूत्रों का सबसे छोटा वर्ग जिसमें परमाणु सदस्यता और समानता सूत्र शामिल हैं और संयोजन, विच्छेदन, अस्तित्वगत और सार्वभौमिक परिमाणीकरण के तहत बंद हैं)।
+[[गणितीय तर्क]] में, '''धनात्मक समुच्चय सिद्धांत''' वैकल्पिक समुच्चय सिद्धांत के एक वर्ग का नाम है जिसमें [[समझ का सिद्धांत]] कम से कम '''धनात्मक सूत्रों''' के लिए होता है <math>\phi</math> (सूत्रों का सबसे छोटा वर्ग जिसमें परमाणु सदस्यता और समानता सूत्र सम्मिलित हैं और संयोजन, विच्छेदन,अस्तित्वगत और सार्वभौमिक परिमाणीकरण के तहत समापन होता हैं)।
-आमतौर पर, इन सिद्धांतों की प्रेरणा टोपोलॉजिकल है: सेट वे कक्षाएं हैं जो एक निश्चित [[टोपोलॉजी]] के तहत बंद हैं। सकारात्मक सूत्रों के निर्माण में अनुमत विभिन्न निर्माणों के लिए बंद करने की शर्तें आसानी से प्रेरित होती हैं (और कोई भी सामान्यीकृत सकारात्मक समझ प्राप्त करने के लिए सेट में बंधे सार्वभौमिक क्वांटिफायर के उपयोग को उचित ठहरा सकता है): अस्तित्वगत क्वांटिफायर के औचित्य के लिए यह आवश्यक लगता है कि टोपोलॉजी [[सघन स्थान]] रिक्त स्थान
+सामान्यतौर पर,इन सिद्धांतों की प्रेरणा संस्थानिक है: समुच्चय वे कक्षाएं हैं जो निश्चित संस्थानिक के तहत समापन होता हैं। धनात्मक सूत्रों के निर्माण में अनुमत विभिन्न निर्माणों के लिए सिमित करने की शर्तें आसानी से प्रेरित होती हैं (और कोई भी '''सामान्यीकृत धनात्मक समझ''' प्राप्त करने के लिए समुच्चय में बंधे सार्वभौमिक परिमाण के उपयोग को उचित ठहरा सकता है): अस्तित्वगत परिमाण के औचित्य के लिए यह आवश्यक लगता है कि संस्थानिक [[सघन स्थान]] रिक्त स्थान होता है |
 == अभिगृहीत ==
-समुच्चय सिद्धांत <math>\mathrm{GPK}^+_\infty</math> ओलिवियर एस्सेर के निम्नलिखित सिद्धांत शामिल हैं:<ref>{{Cite SEP|url-id=settheory-alternative|title=वैकल्पिक स्वयंसिद्ध सेट सिद्धांत|first=M. Randall|last=Holmes|date=21 September 2021}}</ref>
+समुच्चय सिद्धांत <math>\mathrm{GPK}^+_\infty</math> ओलिवियर एस्सेर के निम्नलिखित सिद्धांत सम्मिलित होता हैं:<ref>{{Cite SEP|url-id=settheory-alternative|title=वैकल्पिक स्वयंसिद्ध सेट सिद्धांत|first=M. Randall|last=Holmes|date=21 September 2021}}</ref>
@@ Line 14: / Line 14: @@
-=== समझ का सकारात्मक सिद्धांत ===
+=== समझ का धनात्मक सिद्धांत ===
 <math>\exists x \forall y (y \in x \leftrightarrow \phi(y))</math>
-कहाँ <math>\phi</math> एक सकारात्मक सूत्र है. एक सकारात्मक सूत्र केवल [[तार्किक स्थिरांक]] का उपयोग करता है <math>\{\top, \bot, \land, \lor, \forall, \exists, =, \in\}</math> लेकिन नहीं <math>\{\to, \neg\}</math>.
-=== [[टोपोलॉजिकल क्लोजर]] ===
+जहाँ <math>\phi</math> एक धनात्मक सूत्र है. एक धनात्मक सूत्र केवल [[तार्किक स्थिरांक]] का उपयोग करता है <math>\{\top, \bot, \land, \lor, \forall, \exists, =, \in\}</math> लेकिन नहीं <math>\{\to, \neg\}</math>.
+=== समापन ===
 <math>\exists x \forall y (y \in x \leftrightarrow \forall z (\forall w (\phi(w) \rightarrow w \in z) \rightarrow y \in z))</math>
-कहाँ <math>\phi</math> एक सूत्र है. यानी हर फॉर्मूले के लिए <math>\phi</math>, सभी सेटों का प्रतिच्छेदन जिसमें प्रत्येक शामिल है <math>x</math> ऐसा है कि <math>\phi(x)</math> मौजूद। इसे का समापन कहा जाता है <math>\{x \mid \phi(x)\}</math> और विभिन्न तरीकों में से किसी एक में लिखा गया है जिससे टोपोलॉजिकल क्लोजर प्रस्तुत किया जा सकता है। इसे अधिक संक्षेप में रखा जा सकता है यदि वर्ग भाषा की अनुमति है (वॉन न्यूमैन-बर्नेज़-गोडेल सेट सिद्धांत के अनुसार वर्ग को परिभाषित करने वाले सेट पर कोई भी शर्त): किसी भी वर्ग सी के लिए एक सेट होता है जो सभी सेटों का प्रतिच्छेदन होता है जिसमें सी एक उपवर्ग के रूप में होता है। यदि सेट को टोपोलॉजी में बंद कक्षाओं के रूप में समझा जाता है तो यह एक उचित सिद्धांत है।
+जहाँ <math>\phi</math> एक धनात्मक सूत्र है.यानी हर सूत्र के लिए <math>\phi</math>, सभी समुच्चय का प्रतिच्छेदन जिसमें प्रत्येक सम्मिलित है <math>x</math> ऐसा है कि <math>\phi(x)</math> उपस्थित होता है। इसे का समापन कहा जाता है <math>\{x \mid \phi(x)\}</math> और विभिन्न तरीकों में से किसी एक में लिखा गया है जिससे संस्थानिक समापन प्रस्तुत किया जा सकता है। इसे अत्यधिक संक्षेप में रखा जा सकता है यदि वर्ग भाषा की अनुमति है (वॉन न्यूमैन-बर्नेज़-गोडेल समुच्चय सिद्धांत के अनुसार वर्ग को परिभाषित करने वाले समुच्चय पर कोई भी शर्त): किसी भी वर्ग C के लिए समुच्चय होता है जो सभी समुच्चय का प्रतिच्छेदन होता है जिसमें C उपवर्ग के रूप में होता है। यदि समुच्चय को संस्थानिक में सिमित कक्षाओं के रूप में समझा जाता है तो यह एक उचित सिद्धांत है।
 === अनंत का अभिगृहीत ===
-[[जॉन वॉन न्यूमैन]] [[क्रमसूचक संख्या]] <math>\omega</math> मौजूद। यह सामान्य अर्थों में अनंत का एक सिद्धांत नहीं है; यदि अनंत धारण नहीं करता है, तो बंद हो जाना <math>\omega</math> अस्तित्व में है और स्वयं ही इसका एकमात्र अतिरिक्त सदस्य है (यह निश्चित रूप से अनंत है); इस स्वयंसिद्ध का मुद्दा यह है <math>\omega</math> इसमें कोई भी अतिरिक्त तत्व शामिल नहीं है, जो सिद्धांत को दूसरे क्रम के अंकगणित की ताकत से मोर्स-केली सेट सिद्धांत की ताकत तक बढ़ा देता है, जिसमें उचित वर्ग क्रमसूचक एक [[कमजोर रूप से कॉम्पैक्ट कार्डिनल]] होता है।
+[[जॉन वॉन न्यूमैन]] [[क्रमसूचक संख्या]] <math>\omega</math> उपस्थित होता है। यह सामान्य अर्थों में अनंत का सिद्धांत नहीं है; यदि अनंत धारण नहीं करता है, तो सिमित हो जाना <math>\omega</math> अस्तित्व में है और स्वयं ही इसका एकमात्र अतिरिक्त सदस्य है (यह निश्चित रूप से अनंत है); इस स्वयंसिद्ध का मुद्दा यह है <math>\omega</math> इसमें कोई भी अतिरिक्त तत्व सम्मिलित नहीं है, जो सिद्धांत को दूसरे क्रम के अंकगणित की ताकत से मोर्स-केली समुच्चय सिद्धांत की ताकत तक बढ़ा देता है, जिसमें उचित वर्ग क्रमसूचक [[कमजोर रूप से कॉम्पैक्ट कार्डिनल|कमजोर रूप से सघन मुख्य]] होता है।
-== दिलचस्प गुण ==
+== अभिरुचि गुण ==
-* इस सिद्धांत में सार्वत्रिक समुच्चय एक उचित समुच्चय है।
+* इस सिद्धांत में सार्वत्रिक समुच्चय एक उचित समुच्चय होता है।
-* इस सिद्धांत के सेट उन सेटों का संग्रह हैं जो कक्षाओं पर एक निश्चित टोपोलॉजी के तहत बंद हैं।
+* इस सिद्धांत के समुच्चय उन समुच्चय का संग्रह हैं जो कक्षाओं पर निश्चित संस्थानिक के तहत सिमित होता  हैं।
-* सिद्धांत [[ZFC]] की व्याख्या कर सकता है (स्वयं को अच्छी तरह से स्थापित सेटों के वर्ग तक सीमित करके, जो स्वयं एक सेट नहीं है)। यह वास्तव में एक मजबूत सिद्धांत की व्याख्या करता है (मोर्स-केली सेट सिद्धांत उचित वर्ग क्रमसूचक एक कमजोर कॉम्पैक्ट कार्डिनल के साथ)।
+* सिद्धांत जेएफसी की व्याख्या कर सकता है (स्वयं को अच्छी तरह से स्थापित समुच्चय के वर्ग तक सीमित करके, जो स्वयं समुच्चय नहीं है)। यह वास्तव में एक सशक्त  सिद्धांत की व्याख्या करता है (मोर्स-केली समुच्चय सिद्धांत उचित वर्ग क्रमसूचक कमजोर सघन मुख्य के साथ)होता है।
 <!--* ... many more -->
@@ Line 38: / Line 40: @@
 == शोधकर्ता ==
-* [[इसहाक मालित्ज़]] ने मूल रूप से यूसीएलए में अपनी 1976 की पीएचडी थीसिस में पॉजिटिव सेट थ्योरी पेश की
+* [[इसहाक मालित्ज़]] ने मूल रूप से यूसीएलए में अपनी 1976 की पीएचडी थीसिस में धनात्मक समुच्चय सिद्धांत पेश की थी |
-* [[अलोंजो चर्च]] उपरोक्त थीसिस की देखरेख करने वाली समिति का अध्यक्ष था
+* [[अलोंजो चर्च]] उपरोक्त थीसिस की देखरेख करने वाली समिति का अध्यक्ष था |
-*[[ओलिवियर एसेर]] इस क्षेत्र में सबसे अधिक सक्रिय नजर आते हैं।{{cn|date=February 2023}}
+*[[ओलिवियर एसेर]] इस क्षेत्र में सबसे अत्यधिक सक्रिय नजर आते हैं।{{cn|date=February 2023}}
 == यह भी देखें ==
@@ Line 53: / Line 55: @@
 |mr=1669902
 |doi=10.1002/malq.19990450110}}
-[[Category: सेट सिद्धांत की प्रणाली]]
-[[Category: Machine Translated Page]]
+[[Category:All articles with unsourced statements]]
+[[Category:Articles with unsourced statements from February 2023]]
 [[Category:Created On 21/07/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Short description with empty Wikidata description]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:सेट सिद्धांत की प्रणाली]]

Anonymous

Search

धनात्मक समुच्चय सिद्धांत: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 17:21, 8 August 2023

Contents

अभिगृहीत

विस्तृतता का सिद्धांत

समझ का धनात्मक सिद्धांत

समापन

अनंत का अभिगृहीत

अभिरुचि गुण

शोधकर्ता

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

धनात्मक समुच्चय सिद्धांत: Difference between revisions

Latest revision as of 17:21, 8 August 2023

अभिगृहीत

विस्तृतता का सिद्धांत

समझ का धनात्मक सिद्धांत

समापन

अनंत का अभिगृहीत

अभिरुचि गुण

शोधकर्ता

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories