सघनता प्रमेय: Difference between revisions

Latest revision as of 16:59, 29 July 2023

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

प्रोपोज़िशनल कैलकुलस के लिए कॉम्पैक्टनेस थ्योरम टाइकोनोफ़ के थ्योरम का परिणाम है (जो कहता है कि सघन समष्टि (कॉम्पैक्ट स्पेस) का उत्पाद कॉम्पैक्ट है) कॉम्पैक्ट स्टोन समष्टि पर लागू होता है,^[1] इसलिए थ्योरम का नाम है। इसी तरह, यह टोपोलॉजिकल समष्टि में कॉम्पैक्टनेस के परिमित प्रतिच्छेदन गुण लक्षण वर्णन के अनुरूप है: एक कॉम्पैक्ट समष्टि में संवृत समुच्चयों के संग्रह में एक गैर-रिक्त प्रतिच्छेदन होता है यदि प्रत्येक परिमित उपसंग्रह में एक गैर-रिक्त प्रतिच्छेदन होता है।

कॉम्पैक्टनेस थ्योरम दो प्रमुख गुणों में से एक है, साथ ही डाउनवर्ड लोवेनहेम-स्कोलेम थ्योरम के साथ, जिसका उपयोग लिंडस्ट्रॉम के थ्योरम में प्रथम-क्रम तर्क को चित्रित करने के लिए किया जाता है। यद्यपि गैर-प्रथम-क्रम तर्कों के लिए कॉम्पैक्टनेस थ्योरम के कुछ सामान्यीकरण हैं, लेकिन बहुत सीमित संख्या में उदाहरणों को छोड़कर, कॉम्पैक्टनेस थ्योरम स्वयं उनमें सम्मिलित नहीं है।^[2]

इतिहास

कर्ट गोडेल ने 1930 में गणनीय सघनता थ्योरम को सिद्ध किया था। अनातोली माल्टसेव ने 1936 में अगणनीय मामले को सिद्ध किया था।^[3]^[4]

अनुप्रयोग

कॉम्पैक्टनेस थ्योरम के मॉडल सिद्धांत में कई अनुप्रयोग हैं; कुछ विशिष्ट परिणाम यहां दर्शाए गए हैं।

रॉबिन्सन का सिद्धांत

कॉम्पैक्टनेस थ्योरम निम्नलिखित परिणाम को दर्शाता है, जिसे अब्राहम रॉबिन्सन ने अपने 1949 के शोध प्रबंध में कहा था।

रॉबिन्सन का सिद्धांत:^[5]^[6] यदि प्रथम क्रम का वाक्य विशेषता (बीजगणित) के प्रत्येक क्षेत्र (गणित) में शून्य रखता है, तो वहां एक स्थिरांक उपस्थित होता है $p$ इस प्रकार कि यह वाक्य विशेषता के प्रत्येक क्षेत्र के लिए बड़ा है $p.$ इसे इस प्रकार देखा जा सकता है: मान लीजिए $\varphi$ एक ऐसा वाक्य है जो प्रत्येक क्षेत्र में विशेषता शून्य रखता है। फिर उसका निषेध $\lnot \varphi ,$ क्षेत्र स्वयंसिद्धों और वाक्यों के अनंत अनुक्रम के साथ

1+1\neq 0,\;\;1+1+1\neq 0,\;\ldots

संतुष्टि प्रदता नहीं है (क्योंकि इसमें विशेषता 0 का कोई क्षेत्र नहीं है)।

\lnot \varphi

धारण करता है, और वाक्यों का अनंत क्रम यह सुनिश्चित करता है कि कोई भी मॉडल विशेषता 0 का क्षेत्र होगा)। इसलिए, एक परिमित उपसमुच्चय है

A

इन वाक्यों का जो संतोषजनक नहीं है।

A

सम्मिलित होना चाहिए

\lnot \varphi

क्योंकि अन्यथा यह संतोषजनक होगा। क्योंकि इसमें और वाक्य जोड़ रहे हैं

A

असंतोषजनकता नहीं बदलती, ऐसा हम मान सकते हैं

A

कुछ के लिए फ़ील्ड स्वयंसिद्ध और, सम्मिलित हैं

k,

पहला

k

प्रपत्र के वाक्य

1+1+\cdots +1\neq 0.

होने देना

B

के सभी वाक्य सम्मिलित हैं

A

के अलावा

\lnot \varphi .

फिर कोई भी क्षेत्र जिसकी विशेषता इससे अधिक हो

k

का एक मॉडल है

B,

और

\lnot \varphi

के साथ साथ

B

संतुष्ट करने योग्य नहीं है. इस का मतलब है कि

\varphi

के प्रत्येक मॉडल में होना चाहिए

B,

जिसका मतलब बिल्कुल यही है

\varphi

विशेषता के प्रत्येक क्षेत्र में श्रेष्ठता रखता है

k.

इससे प्रमाण पूर्ण हो जाता है।

लेफ्शेट्ज़ सिद्धांत, समष्टिांतरण सिद्धांत के पहले उदाहरणों में से एक, इस परिणाम का विस्तार करता है। प्रथम कोटि का वाक्य $\varphi$ वलय (रिंग गणित) की भाषा में सत्य है some (या समकक्ष, में every) विशेषता 0 का बीजगणितीय रूप से संवृत क्षेत्र (जैसे कि उदाहरण के लिए सम्मिश्र संख्याएं) यदि और केवल तभी जब अनंत रूप से कई अभाज्य संख्याएँ उपस्थित हों $p$ जिसके लिए $\varphi$ में सच है some विशेषता का बीजगणितीय रूप से संवृत क्षेत्र $p,$ किस स्थिति में $\varphi$ में सच है allपर्याप्त रूप से बड़े गैर-0 विशेषता वाले बीजगणितीय रूप से $p.$ संवृत फ़ील्ड है। ^[5]

एक परिणाम X-ग्रोथेंडिक थ्योरम का निम्नलिखित विशेष मामला है: सभी इंजेक्शन मानचित्र सम्मिश्र संख्या बहुपद $\mathbb {C} ^{n}\to \mathbb {C} ^{n}$ प्रक्षेपात्मक मानचित्र हैं^[5] (वास्तव में, यह भी दिखाया जा सकता है कि इसका व्युत्क्रम भी एक बहुपद होगा)।^[7] वास्तव में, किसी भी विशेषण बहुपद के लिए प्रक्षेप्यता निष्कर्ष सत्य रहता है $F^{n}\to F^{n}$ कहाँ $F$ एक परिमित क्षेत्र या ऐसे क्षेत्र का बीजगणितीय समापन है।^[7]

अपवर्ड लोवेनहेम-स्कोलेम थ्योरम

कॉम्पैक्टनेस थ्योरम के दूसरे अनुप्रयोग से पता चलता है कि कोई भी सिद्धांत जिसमें स्वेच्छया से बड़े परिमित मॉडल या एकल अनंत मॉडल होते हैं, उसमें स्वेच्छया से बड़ी प्रमुखता के मॉडल होते हैं (यह अपवर्ड लोवेनहेम-स्कोलेम थ्योरम है)। उदाहरण के लिए, पीनो अंकगणित के गैर-मानक मॉडल हैं जिनमें अनगिनत 'प्राकृतिक संख्याएँ' हैं। इसे हासिल करने के लिए आइए $T$ प्रारंभिक सिद्धांत हो और चलो $\kappa$ कोई भी कार्डिनल संख्या हो. की भाषा में जोड़ें $T$ के प्रत्येक तत्व के लिए एक स्थिर प्रतीक $\kappa .$ फिर जोड़ें $T$ वाक्यों का एक संग्रह जो कहता है कि नए संग्रह से किन्हीं दो अलग-अलग स्थिर प्रतीकों द्वारा दर्शाई गई वस्तुएं अलग-अलग हैं (यह एक संग्रह है) $\kappa ^{2}$ वाक्य) है। चूंकि प्रत्येक परिमित (फिनिट) इस नए सिद्धांत का उपसमुच्चय पर्याप्त रूप से बड़े परिमित मॉडल द्वारा संतुष्ट है $T,$ या किसी अनंत मॉडल द्वारा, संपूर्ण विस्तारित सिद्धांत संतोषजनक है। लेकिन विस्तारित सिद्धांत के किसी भी मॉडल में कम से कम प्रमुखता होती है $\kappa$ .

गैर-मानक विश्लेषण

कॉम्पैक्टनेस थ्योरम का तीसरा अनुप्रयोग वास्तविक संख्याओं के गैर-मानक विश्लेषण का निर्माण है, अर्थात, वास्तविक संख्याओं के सिद्धांत का लगातार विस्तार जिसमें अनंत संख्याएँ होती हैं। इसे देखने के लिए आइए $\Sigma$ वास्तविक संख्याओं के सिद्धांत का प्रथम-क्रम स्वयंसिद्धीकरण बनें। एक नया अचर प्रतीक जोड़कर प्राप्त सिद्धांत पर विचार करें $\varepsilon$ भाषा से और उससे समीप हुए $\Sigma$ स्वयंसिद्ध $\varepsilon >0$ और स्वयंसिद्ध $\varepsilon <{\tfrac {1}{n}}$ सभी धनात्मक पूर्णांकों के लिए $n.$ स्पष्टतः, मानक वास्तविक संख्याएँ $\mathbb {R}$ इन स्वयंसिद्धों के प्रत्येक परिमित उपसमुच्चय के लिए एक मॉडल हैं, क्योंकि वास्तविक संख्याएँ हर विषय को संतुष्ट करती हैं $\Sigma$ और, उपयुक्त विकल्प द्वारा $\varepsilon ,$ के बारे में सिद्धांतों के किसी भी सीमित उपसमुच्चय को संतुष्ट करने के लिए बनाया जा सकता है $\varepsilon .$ सघनता थ्योरम के अनुसार, एक मॉडल है ${}^{*}\mathbb {R}$ जो संतुष्ट करता है $\Sigma$ और इसमें एक अतिसूक्ष्म तत्व भी सम्मिलित है $\varepsilon .$ इसी तरह का एक तर्क, इस बार स्वयंसिद्धों से जुड़ा हुआ है $\omega >0,\;\omega >1,\ldots ,$ आदि से पता चलता है कि असीम रूप से बड़े परिमाण वाली संख्याओं के अस्तित्व को वास्तविकताओं के किसी भी स्वयंसिद्धीकरण $\Sigma$ द्वारा अस्वीकृत नहीं किया जा सकता है^[8]

यह दिखाया जा सकता है कि अतियथार्थवादी संख्याएँ ${}^{*}\mathbb {R}$ समष्टिांतरण सिद्धांत को संतुष्ट करें:^[9] प्रथम-क्रम वाक्य सत्य है $\mathbb {R}$ यदि और केवल यदि यह सत्य है ${}^{*}\mathbb {R} .$

प्रमाण

कोई गोडेल की पूर्णता थ्योरम का उपयोग करके कॉम्पैक्टनेस थ्योरम को सिद्ध कर सकता है, जो स्थापित करता है कि वाक्यों का एक समुच्चय तभी संतोषजनक है जब इससे कोई विरोधाभास साबित नहीं किया जा सकता है। चूंकि गणितीय प्रमाण सदैव सीमित होते हैं और इसलिए दिए गए वाक्यों में से केवल सीमित संख्या में ही सम्मिलित होते हैं, कॉम्पैक्टनेस थ्योरम अनुसरण करता है। वास्तव में, कॉम्पैक्टनेस थ्योरम गोडेल की पूर्णता थ्योरम के बराबर है, और दोनों बूलियन प्राइम आदर्श थ्योरम के बराबर हैं, जो पसंद के स्वयंसिद्ध का एक अशक्त रूप है।^[10]

गोडेल ने मूल रूप से कॉम्पैक्टनेस थ्योरम को इसी तरह से सिद्ध किया था, लेकिन बाद में कॉम्पैक्टनेस थ्योरम के कुछ विशुद्ध अर्थ संबंधी प्रमाण पाए गए; अर्थात्, ऐसे प्रमाण जो संदर्भित करते हैं truth लेकिन नहीं provability. उन प्रमाणों में से एक निम्नानुसार पसंद के सिद्धांत पर निर्भर अल्ट्राप्रोडक्ट्स पर निर्भर करता है:

प्रमाण:

प्रथम-क्रम की भाषा ठीक करें $L,$ और जाने $\Sigma$ $L$ -वाक्यों का एक संग्रह बनें जैसे कि प्रत्येक परिमित उपसंग्रह $L$ -वाक्य, $i\subseteq \Sigma$ इसका एक मॉडल है ${\mathcal {M}}_{i}.$ चलो भी ${\textstyle \prod _{i\subseteq \Sigma }{\mathcal {M}}_{i}}$ संरचनाओं का प्रत्यक्ष उत्पाद बनें और $I$ के परिमित उपसमुच्चय का संग्रह हो $\Sigma .$ प्रत्येक के लिए $i\in I,$ होने देना $A_{i}=\{j\in I:j\supseteq i\}.$ इन सभी का परिवार समुच्चय है $A_{i}$ एक उचित फ़िल्टर (समुच्चय सिद्धांत) उत्पन्न करता है, इसलिए एक अल्ट्राफ़िल्टर (समुच्चय सिद्धांत) है $U$ जिसमें फॉर्म के सभी समुच्चय सम्मिलित हैं $A_{i}.$

अब किसी भी सूत्र के लिए $\varphi$ में $\Sigma :$

समुच्चय $A_{\{\varphi \}}$ में है $U$
जब कभी भी $j\in A_{\{\varphi \}},$ तब $\varphi \in j,$ इस तरह $\varphi$ में रखता है ${\mathcal {M}}_{j}$
सभी का समुच्चय $j$ उस संपत्ति के साथ $\varphi$ में रखता है ${\mathcal {M}}_{j}$ का एक सुपरसमुच्चय है $A_{\{\varphi \}},$ इसलिए में भी $U$

थ्योरम Łoś's थ्योरम अब इसका तात्पर्य है $\varphi$ अल्ट्राप्रोडक्ट में रहता है ${\textstyle \prod _{i\subseteq \Sigma }{\mathcal {M}}_{i}/U.}$ इसलिए यह अल्ट्राप्रोडक्ट सभी फॉर्मूलों को पूरा करता है $\Sigma .$

यह भी देखें

↑ See Truss (1997).
↑ J. Barwise, S. Feferman, eds., Model-Theoretic Logics (New York: Springer-Verlag, 1985) [1], in particular, Makowsky, J. A. Chapter XVIII: Compactness, Embeddings and Definability. 645--716, see Theorems 4.5.9, 4.6.12 and Proposition 4.6.9. For compact logics for an extended notion of model see Ziegler, M. Chapter XV: Topological Model Theory. 557--577. For logics without the relativization property it is possible to have simultaneously compactness and interpolation, while the problem is still open for logics with relativization. See Xavier Caicedo, A Simple Solution to Friedman's Fourth Problem, J. Symbolic Logic, Volume 51, Issue 3 (1986), 778-784.doi:10.2307/2274031 JSTOR 2274031
↑ Vaught, Robert L.: "Alfred Tarski's work in model theory". Journal of Symbolic Logic 51 (1986), no. 4, 869–882
↑ Robinson, A.: Non-standard analysis. North-Holland Publishing Co., Amsterdam 1966. page 48.
↑ ^5.0 ^5.1 ^5.2 Marker 2002, pp. 40–43.
↑ Gowers, Barrow-Green & Leader 2008, pp. 639–643.
↑ ^7.0 ^7.1 Terence, Tao (7 March 2009). "अनंत क्षेत्र, परिमित क्षेत्र, और एक्स-ग्रोथेंडिक प्रमेय".
↑ Goldblatt 1998, pp. 10–11.
↑ Goldblatt 1998, p. 11.
↑ See Hodges (1993).

संदर्भ

Boolos, George; Jeffrey, Richard; Burgess, John (2004). Computability and Logic (fourth ed.). Cambridge University Press.
Chang, C.C.; Keisler, H. Jerome (1989). Model Theory (third ed.). Elsevier. ISBN 0-7204-0692-7.
Dawson, John W. junior (1993). "The compactness of first-order logic: From Gödel to Lindström". History and Philosophy of Logic. 14: 15–37. doi:10.1080/01445349308837208.
Hodges, Wilfrid (1993). Model theory. Cambridge University Press. ISBN 0-521-30442-3.
Goldblatt, Robert (1998). Lectures on the Hyperreals. New York: Springer Verlag. ISBN 0-387-98464-X.
Gowers, Timothy; Barrow-Green, June; Leader, Imre (2008). The Princeton Companion to Mathematics. Princeton: Princeton University Press. pp. 635–646. ISBN 978-1-4008-3039-8. OCLC 659590835.
Marker, David (2002). Model Theory: An Introduction. Graduate Texts in Mathematics. Vol. 217. Springer. ISBN 978-0-387-98760-6. OCLC 49326991.
Robinson, J. A. (1965). "A Machine-Oriented Logic Based on the Resolution Principle". Journal of the ACM. Association for Computing Machinery (ACM). 12 (1): 23–41. doi:10.1145/321250.321253. ISSN 0004-5411. S2CID 14389185.
Truss, John K. (1997). Foundations of Mathematical Analysis. Oxford University Press. ISBN 0-19-853375-6.

बाहरी संबंध

Compactness Theorem, Internet Encyclopedia of Philosophy.

[1] See Truss (1997).

[2] J. Barwise, S. Feferman, eds., Model-Theoretic Logics (New York: Springer-Verlag, 1985) [1], in particular, Makowsky, J. A. Chapter XVIII: Compactness, Embeddings and Definability. 645--716, see Theorems 4.5.9, 4.6.12 and Proposition 4.6.9. For compact logics for an extended notion of model see Ziegler, M. Chapter XV: Topological Model Theory. 557--577. For logics without the relativization property it is possible to have simultaneously compactness and interpolation, while the problem is still open for logics with relativization. See Xavier Caicedo, A Simple Solution to Friedman's Fourth Problem, J. Symbolic Logic, Volume 51, Issue 3 (1986), 778-784.doi:10.2307/2274031 JSTOR 2274031

[3] Vaught, Robert L.: "Alfred Tarski's work in model theory". Journal of Symbolic Logic 51 (1986), no. 4, 869–882

[4] Robinson, A.: Non-standard analysis. North-Holland Publishing Co., Amsterdam 1966. page 48.

[FOOTNOTEMarker200240–43-5] 5.0 ^5.1 ^5.2 Marker 2002, pp. 40–43.

[FOOTNOTEGowersBarrow-GreenLeader2008639–643-6] Gowers, Barrow-Green & Leader 2008, pp. 639–643.

[Tao2009AxGrothendieck-7] 7.0 ^7.1 Terence, Tao (7 March 2009). "अनंत क्षेत्र, परिमित क्षेत्र, और एक्स-ग्रोथेंडिक प्रमेय".

[FOOTNOTEGoldblatt1998[httpsarchiveorgdetailslecturesonhyperr00gold_574pagen12_10]–11-8] Goldblatt 1998, pp. 10–11.

[FOOTNOTEGoldblatt199811-9] Goldblatt 1998, p. 11.

[10] See Hodges (1993).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

@@ Line 1: / Line 1: @@
-{{mvar|}}{{Short description|Theorem}}
+{{Short description|Theorem}}
-[[गणितीय तर्क]] में, कॉम्पैक्टनेस प्रमेय बताता है कि प्रथम-क्रम विधेय कैलकुलस | प्रथम-क्रम [[वाक्य (गणितीय तर्क)]] के एक [[[[सबसेट]] (गणित)]] में एक [[मॉडल ([[मॉडल सिद्धांत]])]] होता है यदि और केवल यदि इसके प्रत्येक [[परिमित सेट]] उपसमुच्चय में एक मॉडल होता है। यह प्रमेय मॉडल सिद्धांत में एक महत्वपूर्ण उपकरण है, क्योंकि यह वाक्यों के किसी भी सेट के मॉडल के निर्माण के लिए एक उपयोगी (लेकिन आम तौर पर प्रभावी नहीं) विधि प्रदान करता है जो कि अंतिम रूप से संगति है।
+[[गणितीय तर्क]] में,  '''सघनता प्रमेय (कॉम्पैक्टनेस थ्योरम)''' बताता है कि पहले क्रम के वाक्यों के एक समुच्चय में एक मॉडल होता है यदि और केवल तभी जब इसके प्रत्येक [[परिमित सेट|परिमित समुच्चय]] में एक मॉडल हो। यह थ्योरम मॉडल सिद्धांत में एक महत्वपूर्ण उपकरण है, क्योंकि यह वाक्यों के किसी भी समुच्चय के मॉडल के निर्माण के लिए एक उपयोगी (लेकिन प्रायः प्रभावी नहीं) विधि प्रदान करता है जो कि अंतिम रूप से सुसंगत है।
-प्रस्तावित कैलकुलस के लिए कॉम्पैक्टनेस प्रमेय टाइकोनॉफ़ के प्रमेय का परिणाम है (जो कहता है कि [[ सघन स्थान ]] की [[उत्पाद टोपोलॉजी]] कॉम्पैक्ट है) कॉम्पैक्ट [[ पत्थर की जगह ]] पर लागू होती है,<ref>See Truss (1997).</ref> इसलिए प्रमेय का नाम. इसी तरह, यह [[टोपोलॉजिकल स्पेस]] में कॉम्पैक्टनेस के परिमित प्रतिच्छेदन गुण लक्षण वर्णन के अनुरूप है: एक कॉम्पैक्ट स्पेस में [[बंद सेट]]ों के संग्रह में एक [[खाली सेट]] होता है | गैर-खाली इंटरसेक्शन (सेट सिद्धांत) यदि प्रत्येक परिमित उपसंग्रह में एक गैर-रिक्त चौराहा होता है।
+प्रोपोज़िशनल कैलकुलस के लिए कॉम्पैक्टनेस थ्योरम टाइकोनोफ़ के थ्योरम का परिणाम है (जो कहता है कि [[ सघन स्थान |सघन समष्टि]] (कॉम्पैक्ट स्पेस) का उत्पाद कॉम्पैक्ट है) कॉम्पैक्ट स्टोन समष्टि पर लागू होता है,<ref>See Truss (1997).</ref> इसलिए थ्योरम का नाम है। इसी तरह, यह [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल समष्टि]] में कॉम्पैक्टनेस के परिमित प्रतिच्छेदन गुण लक्षण वर्णन के अनुरूप है: एक कॉम्पैक्ट समष्टि में संवृत समुच्चयों के संग्रह में एक गैर-रिक्त प्रतिच्छेदन होता है यदि प्रत्येक परिमित उपसंग्रह में एक गैर-रिक्त प्रतिच्छेदन होता है।
-कॉम्पैक्टनेस प्रमेय नीचे की ओर लोवेनहेम-स्कोलेम प्रमेय के साथ दो प्रमुख गुणों में से एक है, जिसका उपयोग लिंडस्ट्रॉम के प्रमेय में प्रथम-क्रम तर्क को चिह्नित करने के लिए किया जाता है। यद्यपि गैर-प्रथम-क्रम तर्कों के लिए कॉम्पैक्टनेस प्रमेय के कुछ सामान्यीकरण हैं, बहुत सीमित संख्या में उदाहरणों को छोड़कर, कॉम्पैक्टनेस प्रमेय स्वयं उनमें मान्य नहीं है।<ref>J. Barwise, S. Feferman, eds., Model-Theoretic Logics (New York: Springer-Verlag, 1985) [https://projecteuclid.org/euclid.pl/1235417263#toc], in particular, Makowsky, J. A. Chapter XVIII: Compactness, Embeddings and Definability. 645--716, see Theorems 4.5.9, 4.6.12 and Proposition 4.6.9. For compact logics for an extended notion of model see Ziegler, M. Chapter XV: Topological Model Theory. 557--577. For logics without the relativization property it is possible to have simultaneously compactness and interpolation, while the problem is still open for logics with relativization. See Xavier Caicedo, A Simple Solution to Friedman's Fourth Problem, J. Symbolic Logic, Volume 51, Issue 3 (1986), 778-784.{{doi|10.2307/2274031}} {{JSTOR|2274031}}</ref>
+कॉम्पैक्टनेस थ्योरम दो प्रमुख गुणों में से एक है, साथ ही डाउनवर्ड लोवेनहेम-स्कोलेम थ्योरम के साथ, जिसका उपयोग लिंडस्ट्रॉम के थ्योरम में प्रथम-क्रम तर्क को चित्रित करने के लिए किया जाता है। यद्यपि गैर-प्रथम-क्रम तर्कों के लिए कॉम्पैक्टनेस थ्योरम के कुछ सामान्यीकरण हैं, लेकिन बहुत सीमित संख्या में उदाहरणों को छोड़कर, कॉम्पैक्टनेस थ्योरम स्वयं उनमें सम्मिलित नहीं है।<ref>J. Barwise, S. Feferman, eds., Model-Theoretic Logics (New York: Springer-Verlag, 1985) [https://projecteuclid.org/euclid.pl/1235417263#toc], in particular, Makowsky, J. A. Chapter XVIII: Compactness, Embeddings and Definability. 645--716, see Theorems 4.5.9, 4.6.12 and Proposition 4.6.9. For compact logics for an extended notion of model see Ziegler, M. Chapter XV: Topological Model Theory. 557--577. For logics without the relativization property it is possible to have simultaneously compactness and interpolation, while the problem is still open for logics with relativization. See Xavier Caicedo, A Simple Solution to Friedman's Fourth Problem, J. Symbolic Logic, Volume 51, Issue 3 (1986), 778-784.{{doi|10.2307/2274031}} {{JSTOR|2274031}}</ref>
 ==इतिहास==
-कर्ट गोडेल ने 1930 में गणनीय सघनता प्रमेय को सिद्ध किया। [[अनातोली माल्टसेव]] ने 1936 में बेशुमार मामले को सिद्ध किया।<ref>[[Robert Lawson Vaught|Vaught, Robert L.]]: "Alfred Tarski's work in model theory". ''Journal of Symbolic Logic'' 51 (1986), no. 4, 869–882</ref><ref>[[Abraham Robinson|Robinson, A.]]: ''Non-standard analysis''. North-Holland Publishing Co., Amsterdam 1966. page 48.</ref>
+कर्ट गोडेल ने 1930 में गणनीय सघनता थ्योरम को सिद्ध किया था। [[अनातोली माल्टसेव]] ने 1936 में अगणनीय मामले को सिद्ध किया था।<ref>[[Robert Lawson Vaught|Vaught, Robert L.]]: "Alfred Tarski's work in model theory". ''Journal of Symbolic Logic'' 51 (1986), no. 4, 869–882</ref><ref>[[Abraham Robinson|Robinson, A.]]: ''Non-standard analysis''. North-Holland Publishing Co., Amsterdam 1966. page 48.</ref>
+==अनुप्रयोग==
+कॉम्पैक्टनेस थ्योरम के मॉडल सिद्धांत में कई अनुप्रयोग हैं; कुछ विशिष्ट परिणाम यहां दर्शाए गए हैं।
-==अनुप्रयोग==
+===रॉबिन्सन का सिद्धांत===
-कॉम्पैक्टनेस प्रमेय के मॉडल सिद्धांत में कई अनुप्रयोग हैं; कुछ विशिष्ट परिणाम यहां दर्शाए गए हैं।
+कॉम्पैक्टनेस थ्योरम निम्नलिखित परिणाम को दर्शाता है, जिसे [[अब्राहम रॉबिन्सन]] ने अपने [[1949]] के शोध प्रबंध में कहा था।
-===रॉबिन्सन का सिद्धांत===
+रॉबिन्सन का सिद्धांत:{{sfn|Marker|2002|pp=40-43}}{{sfn|Gowers|Barrow-Green|Leader|2008|pp=639-643}} यदि प्रथम क्रम का वाक्य [[विशेषता (बीजगणित)]] के प्रत्येक क्षेत्र (गणित) में शून्य रखता है, तो वहां एक स्थिरांक उपस्थित होता है <math>p</math> इस प्रकार कि यह वाक्य विशेषता के प्रत्येक क्षेत्र के लिए बड़ा है <math>p.</math> इसे इस प्रकार देखा जा सकता है: मान लीजिए <math>\varphi</math> एक ऐसा वाक्य है जो प्रत्येक क्षेत्र में विशेषता शून्य रखता है। फिर उसका निषेध <math>\lnot \varphi,</math> क्षेत्र स्वयंसिद्धों और वाक्यों के अनंत अनुक्रम के साथ
+<math display=block>1 + 1 \neq 0, \;\; 1 + 1 + 1 \neq 0, \; \ldots</math>
+संतुष्टि प्रदता नहीं है (क्योंकि इसमें विशेषता 0 का कोई क्षेत्र नहीं है)। <math>\lnot \varphi</math> धारण करता है, और वाक्यों का अनंत क्रम यह सुनिश्चित करता है कि कोई भी मॉडल विशेषता 0 का क्षेत्र होगा)। इसलिए, एक परिमित उपसमुच्चय है <math>A</math> इन वाक्यों का जो संतोषजनक नहीं है। <math>A</math> सम्मिलित होना चाहिए <math>\lnot \varphi</math> क्योंकि अन्यथा यह संतोषजनक होगा। क्योंकि इसमें और वाक्य जोड़ रहे हैं <math>A</math> असंतोषजनकता नहीं बदलती, ऐसा हम मान सकते हैं <math>A</math> कुछ के लिए फ़ील्ड स्वयंसिद्ध और, सम्मिलित हैं <math>k,</math> पहला <math>k</math> प्रपत्र के वाक्य <math>1 + 1 + \cdots + 1 \neq 0.</math> होने देना <math>B</math> के सभी वाक्य सम्मिलित हैं <math>A</math> के अलावा <math>\lnot \varphi.</math> फिर कोई भी क्षेत्र जिसकी विशेषता इससे अधिक हो <math>k</math> का एक मॉडल है <math>B,</math> और <math>\lnot \varphi</math> के साथ साथ <math>B</math> संतुष्ट करने योग्य नहीं है. इस का मतलब है कि <math>\varphi</math> के प्रत्येक मॉडल में होना चाहिए <math>B,</math> जिसका मतलब बिल्कुल यही है <math>\varphi</math> विशेषता के प्रत्येक क्षेत्र में श्रेष्ठता रखता है <math>k.</math> इससे प्रमाण पूर्ण हो जाता है।
-कॉम्पैक्टनेस प्रमेय निम्नलिखित परिणाम को दर्शाता है, जिसे [[अब्राहम रॉबिन्सन]] ने अपने [[1949]] के शोध प्रबंध में कहा था।
+लेफ्शेट्ज़ सिद्धांत, [[स्थानांतरण सिद्धांत|समष्टिांतरण सिद्धांत]] के पहले उदाहरणों में से एक, इस परिणाम का विस्तार करता है। प्रथम कोटि का वाक्य <math>\varphi</math> वलय (रिंग गणित) की भाषा में सत्य है {{em|some}} (या समकक्ष, में {{em|every}}) विशेषता 0 का बीजगणितीय रूप से संवृत क्षेत्र (जैसे कि उदाहरण के लिए [[जटिल संख्या|सम्मिश्र संख्या]]एं) यदि और केवल तभी जब अनंत रूप से कई अभाज्य संख्याएँ उपस्थित हों <math>p</math> जिसके लिए <math>\varphi</math> में सच है {{em|some}} विशेषता का बीजगणितीय रूप से संवृत क्षेत्र <math>p,</math> किस स्थिति में <math>\varphi</math> में सच है {{em|all}}पर्याप्त रूप से बड़े गैर-0 विशेषता वाले बीजगणितीय रूप से <math>p.</math>संवृत फ़ील्ड है। {{sfn|Marker|2002|pp=40-43}}
-रॉबिन्सन का सिद्धांत:{{sfn|Marker|2002|pp=40-43}}{{sfn|Gowers|Barrow-Green|Leader|2008|pp=639-643}} यदि प्रथम क्रम का वाक्य [[विशेषता (बीजगणित)]] के प्रत्येक क्षेत्र (गणित) में शून्य रखता है, तो वहां एक स्थिरांक मौजूद होता है <math>p</math> इस प्रकार कि यह वाक्य विशेषता के प्रत्येक क्षेत्र के लिए बड़ा है <math>p.</math> इसे इस प्रकार देखा जा सकता है: मान लीजिए <math>\varphi</math> एक ऐसा वाक्य है जो प्रत्येक क्षेत्र में विशेषता शून्य रखता है। फिर उसका निषेध <math>\lnot \varphi,</math> क्षेत्र स्वयंसिद्धों और वाक्यों के अनंत अनुक्रम के साथ
+एक परिणाम X-ग्रोथेंडिक थ्योरम का निम्नलिखित विशेष मामला है: सभी इंजेक्शन मानचित्र सम्मिश्र संख्या [[बहुपद]] <math>\Complex^n \to \Complex^n</math> प्रक्षेपात्मक मानचित्र हैं{{sfn|Marker|2002|pp=40-43}} (वास्तव में, यह भी दिखाया जा सकता है कि इसका व्युत्क्रम भी एक बहुपद होगा)।<ref name="Tao2009AxGrothendieck">{{cite web|last=Terence|first=Tao|title=अनंत क्षेत्र, परिमित क्षेत्र, और एक्स-ग्रोथेंडिक प्रमेय|date=7 March 2009|url=https://terrytao.wordpress.com/2009/03/07/infinite-fields-finite-fields-and-the-ax-grothendieck-theorem/}}</ref> वास्तव में, किसी भी विशेषण बहुपद के लिए प्रक्षेप्यता निष्कर्ष सत्य रहता है <math>F^n \to F^n</math> कहाँ <math>F</math> एक परिमित क्षेत्र या ऐसे क्षेत्र का बीजगणितीय समापन है।<ref name="Tao2009AxGrothendieck" />
- <math display=block>1 + 1 \neq 0, \;\; 1 + 1 + 1 \neq 0, \; \ldots</math>
-[[संतुष्टि]]प्रदता नहीं है (क्योंकि इसमें विशेषता 0 का कोई क्षेत्र नहीं है)। <math>\lnot \varphi</math> धारण करता है, और वाक्यों का अनंत क्रम यह सुनिश्चित करता है कि कोई भी मॉडल विशेषता 0 का क्षेत्र होगा)। इसलिए, एक परिमित उपसमुच्चय है <math>A</math> इन वाक्यों का जो संतोषजनक नहीं है। <math>A</math> शामिल होना चाहिए <math>\lnot \varphi</math> क्योंकि अन्यथा यह संतोषजनक होगा। क्योंकि इसमें और वाक्य जोड़ रहे हैं <math>A</math> असंतोषजनकता नहीं बदलती, ऐसा हम मान सकते हैं <math>A</math> कुछ के लिए फ़ील्ड स्वयंसिद्ध और, शामिल हैं <math>k,</math> पहला <math>k</math> प्रपत्र के वाक्य <math>1 + 1 + \cdots + 1 \neq 0.</math> होने देना <math>B</math> के सभी वाक्य शामिल हैं <math>A</math> के अलावा <math>\lnot \varphi.</math> फिर कोई भी क्षेत्र जिसकी विशेषता इससे अधिक हो <math>k</math> का एक मॉडल है <math>B,</math> और <math>\lnot \varphi</math> के साथ साथ <math>B</math> संतुष्ट करने योग्य नहीं है. इस का मतलब है कि <math>\varphi</math> के प्रत्येक मॉडल में होना चाहिए <math>B,</math> जिसका मतलब बिल्कुल यही है <math>\varphi</math> विशेषता के प्रत्येक क्षेत्र में श्रेष्ठता रखता है <math>k.</math> इससे प्रमाण पूर्ण हो जाता है।
-[[लेफ्शेट्ज़ सिद्धांत]], [[स्थानांतरण सिद्धांत]] के पहले उदाहरणों में से एक, इस परिणाम का विस्तार करता है। प्रथम कोटि का वाक्य <math>\varphi</math> रिंग (गणित) की भाषा में सत्य है {{em|some}} (या समकक्ष, में {{em|every}}) विशेषता 0 का [[बीजगणितीय रूप से बंद]] क्षेत्र (जैसे कि उदाहरण के लिए [[जटिल संख्या]]एं) यदि और केवल तभी जब अनंत रूप से कई अभाज्य संख्याएँ मौजूद हों <math>p</math> जिसके लिए <math>\varphi</math> में सच है {{em|some}} विशेषता का बीजगणितीय रूप से बंद क्षेत्र <math>p,</math> किस स्थिति में <math>\varphi</math> में सच है {{em|all}}पर्याप्त रूप से बड़े गैर-0 विशेषता वाले बीजगणितीय रूप से बंद फ़ील्ड <math>p.</math>{{sfn|Marker|2002|pp=40-43}}
-एक परिणाम एक्स-ग्रोथेंडिक प्रमेय का निम्नलिखित विशेष मामला है: सभी [[इंजेक्शन मानचित्र]] जटिल संख्या [[बहुपद]] <math>\Complex^n \to \Complex^n</math> प्रक्षेपात्मक मानचित्र हैं{{sfn|Marker|2002|pp=40-43}} (वास्तव में, यह भी दिखाया जा सकता है कि इसका व्युत्क्रम भी एक बहुपद होगा)।<ref name=Tao2009AxGrothendieck>{{cite web|last=Terence|first=Tao|title=अनंत क्षेत्र, परिमित क्षेत्र, और एक्स-ग्रोथेंडिक प्रमेय|date=7 March 2009|url=https://terrytao.wordpress.com/2009/03/07/infinite-fields-finite-fields-and-the-ax-grothendieck-theorem/}}</ref> वास्तव में, किसी भी विशेषण बहुपद के लिए प्रक्षेप्यता निष्कर्ष सत्य रहता है <math>F^n \to F^n</math> कहाँ <math>F</math> एक परिमित क्षेत्र या ऐसे क्षेत्र का बीजगणितीय समापन है।<ref name=Tao2009AxGrothendieck />
-===अपवर्ड लोवेनहेम-स्कोलेम प्रमेय===
+===अपवर्ड लोवेनहेम-स्कोलेम थ्योरम===
-कॉम्पैक्टनेस प्रमेय के दूसरे अनुप्रयोग से पता चलता है कि कोई भी सिद्धांत जिसमें मनमाने ढंग से बड़े परिमित मॉडल या एकल अनंत मॉडल होते हैं, उसमें मनमाने ढंग से बड़ी [[प्रमुखता]] के मॉडल होते हैं (यह अपवर्ड लोवेनहेम-स्कोलेम प्रमेय है)। उदाहरण के लिए, [[पीनो अंकगणित]] के गैर-मानक मॉडल हैं जिनमें अनगिनत 'प्राकृतिक संख्याएँ' हैं। इसे हासिल करने के लिए आइए <math>T</math> प्रारंभिक सिद्धांत हो और चलो <math>\kappa</math> कोई भी कार्डिनल संख्या हो. की भाषा में जोड़ें <math>T</math> के प्रत्येक तत्व के लिए एक स्थिर प्रतीक <math>\kappa.</math> फिर जोड़ें <math>T</math> वाक्यों का एक संग्रह जो कहता है कि नए संग्रह से किन्हीं दो अलग-अलग स्थिर प्रतीकों द्वारा दर्शाई गई वस्तुएं अलग-अलग हैं (यह एक संग्रह है) <math>\kappa^2</math> वाक्य)। चूंकि प्रत्येक {{em|finite}} इस नए सिद्धांत का उपसमुच्चय पर्याप्त रूप से बड़े परिमित मॉडल द्वारा संतुष्ट है <math>T,</math> या किसी अनंत मॉडल द्वारा, संपूर्ण विस्तारित सिद्धांत संतोषजनक है। लेकिन विस्तारित सिद्धांत के किसी भी मॉडल में कम से कम प्रमुखता होती है <math>\kappa</math>.
+कॉम्पैक्टनेस थ्योरम के दूसरे अनुप्रयोग से पता चलता है कि कोई भी सिद्धांत जिसमें स्वेच्छया से बड़े परिमित मॉडल या एकल अनंत मॉडल होते हैं, उसमें स्वेच्छया से बड़ी [[प्रमुखता]] के मॉडल होते हैं (यह अपवर्ड लोवेनहेम-स्कोलेम थ्योरम है)। उदाहरण के लिए, [[पीनो अंकगणित]] के गैर-मानक मॉडल हैं जिनमें अनगिनत 'प्राकृतिक संख्याएँ' हैं। इसे हासिल करने के लिए आइए <math>T</math> प्रारंभिक सिद्धांत हो और चलो <math>\kappa</math> कोई भी कार्डिनल संख्या हो. की भाषा में जोड़ें <math>T</math> के प्रत्येक तत्व के लिए एक स्थिर प्रतीक <math>\kappa.</math> फिर जोड़ें <math>T</math> वाक्यों का एक संग्रह जो कहता है कि नए संग्रह से किन्हीं दो अलग-अलग स्थिर प्रतीकों द्वारा दर्शाई गई वस्तुएं अलग-अलग हैं (यह एक संग्रह है) <math>\kappa^2</math> वाक्य) है। चूंकि प्रत्येक {{em|परिमित (फिनिट) }} इस नए सिद्धांत का उपसमुच्चय पर्याप्त रूप से बड़े परिमित मॉडल द्वारा संतुष्ट है <math>T,</math> या किसी अनंत मॉडल द्वारा, संपूर्ण विस्तारित सिद्धांत संतोषजनक है। लेकिन विस्तारित सिद्धांत के किसी भी मॉडल में कम से कम प्रमुखता होती है <math>\kappa</math>.
 ===गैर-मानक विश्लेषण===
-कॉम्पैक्टनेस प्रमेय का तीसरा अनुप्रयोग वास्तविक संख्याओं के गैर-मानक विश्लेषण का निर्माण है, अर्थात, वास्तविक संख्याओं के सिद्धांत का लगातार विस्तार जिसमें अनंत संख्याएँ होती हैं। इसे देखने के लिए आइए <math>\Sigma</math> वास्तविक संख्याओं के सिद्धांत का प्रथम-क्रम स्वयंसिद्धीकरण बनें। एक नया अचर प्रतीक जोड़कर प्राप्त सिद्धांत पर विचार करें <math>\varepsilon</math> भाषा से और उससे सटे हुए <math>\Sigma</math> स्वयंसिद्ध <math>\varepsilon > 0</math> और स्वयंसिद्ध <math>\varepsilon < \tfrac{1}{n}</math> सभी सकारात्मक पूर्णांकों के लिए <math>n.</math> स्पष्टतः, मानक वास्तविक संख्याएँ <math>\R</math> इन स्वयंसिद्धों के प्रत्येक परिमित उपसमुच्चय के लिए एक मॉडल हैं, क्योंकि वास्तविक संख्याएँ हर चीज़ को संतुष्ट करती हैं <math>\Sigma</math> और, उपयुक्त विकल्प द्वारा <math>\varepsilon,</math> के बारे में सिद्धांतों के किसी भी सीमित उपसमुच्चय को संतुष्ट करने के लिए बनाया जा सकता है <math>\varepsilon.</math> सघनता प्रमेय के अनुसार, एक मॉडल है <math>{}^* \R</math> जो संतुष्ट करता है <math>\Sigma</math> और इसमें एक अतिसूक्ष्म तत्व भी शामिल है <math>\varepsilon.</math> इसी तरह का एक तर्क, इस बार स्वयंसिद्धों से जुड़ा हुआ है <math>\omega > 0, \; \omega > 1, \ldots,</math> आदि से पता चलता है कि अनंत रूप से बड़े परिमाण वाली संख्याओं के अस्तित्व को किसी भी स्वयंसिद्धीकरण द्वारा खारिज नहीं किया जा सकता है <math>\Sigma</math> असली का.{{sfn|Goldblatt|1998|pages=[https://archive.org/details/lecturesonhyperr00gold_574/page/n12 10]–11}}
+कॉम्पैक्टनेस थ्योरम का तीसरा अनुप्रयोग वास्तविक संख्याओं के गैर-मानक विश्लेषण का निर्माण है, अर्थात, वास्तविक संख्याओं के सिद्धांत का लगातार विस्तार जिसमें अनंत संख्याएँ होती हैं। इसे देखने के लिए आइए <math>\Sigma</math> वास्तविक संख्याओं के सिद्धांत का प्रथम-क्रम स्वयंसिद्धीकरण बनें। एक नया अचर प्रतीक जोड़कर प्राप्त सिद्धांत पर विचार करें <math>\varepsilon</math> भाषा से और उससे समीप हुए <math>\Sigma</math> स्वयंसिद्ध <math>\varepsilon > 0</math> और स्वयंसिद्ध <math>\varepsilon < \tfrac{1}{n}</math> सभी धनात्मक पूर्णांकों के लिए <math>n.</math> स्पष्टतः, मानक वास्तविक संख्याएँ <math>\R</math> इन स्वयंसिद्धों के प्रत्येक परिमित उपसमुच्चय के लिए एक मॉडल हैं, क्योंकि वास्तविक संख्याएँ हर विषय को संतुष्ट करती हैं <math>\Sigma</math> और, उपयुक्त विकल्प द्वारा <math>\varepsilon,</math> के बारे में सिद्धांतों के किसी भी सीमित उपसमुच्चय को संतुष्ट करने के लिए बनाया जा सकता है <math>\varepsilon.</math> सघनता थ्योरम के अनुसार, एक मॉडल है <math>{}^* \R</math> जो संतुष्ट करता है <math>\Sigma</math> और इसमें एक अतिसूक्ष्म तत्व भी सम्मिलित है <math>\varepsilon.</math> इसी तरह का एक तर्क, इस बार स्वयंसिद्धों से जुड़ा हुआ है <math>\omega > 0, \; \omega > 1, \ldots,</math> आदि से पता चलता है कि असीम रूप से बड़े परिमाण वाली संख्याओं के अस्तित्व को वास्तविकताओं के किसी भी स्वयंसिद्धीकरण <math>\Sigma</math> द्वारा अस्वीकृत नहीं किया जा सकता है{{sfn|Goldblatt|1998|pages=[https://archive.org/details/lecturesonhyperr00gold_574/page/n12 10]–11}}
-यह दिखाया जा सकता है कि [[अतियथार्थवादी संख्या]]एँ <math>{}^* \R</math> स्थानांतरण सिद्धांत को संतुष्ट करें:{{sfn|Goldblatt|1998|p=11}} प्रथम-क्रम वाक्य सत्य है <math>\R</math> यदि और केवल यदि यह सत्य है <math>{}^* \R.</math>
+यह दिखाया जा सकता है कि [[अतियथार्थवादी संख्या]]एँ <math>{}^* \R</math> समष्टिांतरण सिद्धांत को संतुष्ट करें:{{sfn|Goldblatt|1998|p=11}} प्रथम-क्रम वाक्य सत्य है <math>\R</math> यदि और केवल यदि यह सत्य है <math>{}^* \R.</math>
 ==प्रमाण==
-कोई गोडेल की पूर्णता प्रमेय का उपयोग करके कॉम्पैक्टनेस प्रमेय को सिद्ध कर सकता है, जो स्थापित करता है कि वाक्यों का एक सेट तभी संतोषजनक है जब इससे कोई विरोधाभास साबित नहीं किया जा सकता है। चूंकि [[गणितीय प्रमाण]] हमेशा सीमित होते हैं और इसलिए दिए गए वाक्यों में से केवल सीमित संख्या में ही शामिल होते हैं, कॉम्पैक्टनेस प्रमेय अनुसरण करता है। वास्तव में, कॉम्पैक्टनेस प्रमेय गोडेल की पूर्णता प्रमेय के बराबर है, और दोनों [[बूलियन प्राइम आदर्श प्रमेय]] के बराबर हैं, जो पसंद के स्वयंसिद्ध का एक कमजोर रूप है।<ref>See Hodges (1993).</ref>
+कोई गोडेल की पूर्णता थ्योरम का उपयोग करके कॉम्पैक्टनेस थ्योरम को सिद्ध कर सकता है, जो स्थापित करता है कि वाक्यों का एक समुच्चय तभी संतोषजनक है जब इससे कोई विरोधाभास साबित नहीं किया जा सकता है। चूंकि [[गणितीय प्रमाण]] सदैव सीमित होते हैं और इसलिए दिए गए वाक्यों में से केवल सीमित संख्या में ही सम्मिलित होते हैं, कॉम्पैक्टनेस थ्योरम अनुसरण करता है। वास्तव में, कॉम्पैक्टनेस थ्योरम गोडेल की पूर्णता थ्योरम के बराबर है, और दोनों [[बूलियन प्राइम आदर्श प्रमेय|बूलियन प्राइम आदर्श थ्योरम]] के बराबर हैं, जो पसंद के स्वयंसिद्ध का एक अशक्त रूप है।<ref>See Hodges (1993).</ref>
-गोडेल ने मूल रूप से कॉम्पैक्टनेस प्रमेय को इसी तरह से सिद्ध किया था, लेकिन बाद में कॉम्पैक्टनेस प्रमेय के कुछ विशुद्ध अर्थ संबंधी प्रमाण पाए गए; अर्थात्, ऐसे प्रमाण जो संदर्भित करते हैं {{em|truth}} लेकिन नहीं {{em|provability}}. उन प्रमाणों में से एक निम्नानुसार पसंद के सिद्धांत पर निर्भर [[अल्ट्राप्रोडक्ट]]्स पर निर्भर करता है:
+गोडेल ने मूल रूप से कॉम्पैक्टनेस थ्योरम को इसी तरह से सिद्ध किया था, लेकिन बाद में कॉम्पैक्टनेस थ्योरम के कुछ विशुद्ध अर्थ संबंधी प्रमाण पाए गए; अर्थात्, ऐसे प्रमाण जो संदर्भित करते हैं {{em|truth}} लेकिन नहीं {{em|provability}}. उन प्रमाणों में से एक निम्नानुसार पसंद के सिद्धांत पर निर्भर अल्ट्राप्रोडक्ट्स पर निर्भर करता है:
+'''प्रमाण:'''
+प्रथम-क्रम की भाषा ठीक करें <math>L,</math> और जाने <math>\Sigma</math> <math>L</math>-वाक्यों का एक संग्रह बनें जैसे कि प्रत्येक परिमित उपसंग्रह <math>L</math>-वाक्य, <math>i \subseteq \Sigma</math> इसका एक मॉडल है <math>\mathcal{M}_i.</math> चलो भी <math display="inline">\prod_{i \subseteq \Sigma}\mathcal{M}_i</math> संरचनाओं का प्रत्यक्ष उत्पाद बनें और <math>I</math> के परिमित उपसमुच्चय का संग्रह हो <math>\Sigma.</math> प्रत्येक के लिए <math>i \in I,</math> होने देना <math>A_i = \{j \in I : j \supseteq i\}.</math> इन सभी का परिवार समुच्चय है <math>A_i</math> एक उचित [[फ़िल्टर (सेट सिद्धांत)|फ़िल्टर (समुच्चय सिद्धांत)]] उत्पन्न करता है, इसलिए एक अल्ट्राफ़िल्टर (समुच्चय सिद्धांत) है <math>U</math> जिसमें फॉर्म के सभी समुच्चय सम्मिलित हैं <math>A_i.</math>
-सबूत:
-प्रथम-क्रम की भाषा ठीक करें <math>L,</math> और जाने <math>\Sigma</math> एल-वाक्यों का एक संग्रह बनें जैसे कि प्रत्येक परिमित उपसंग्रह <math>L</math>-वाक्य, <math>i \subseteq \Sigma</math> इसका एक मॉडल है <math>\mathcal{M}_i.</math> चलो भी <math display=inline>\prod_{i \subseteq \Sigma}\mathcal{M}_i</math> संरचनाओं का प्रत्यक्ष उत्पाद बनें और <math>I</math> के परिमित उपसमुच्चय का संग्रह हो <math>\Sigma.</math> प्रत्येक के लिए <math>i \in I,</math> होने देना <math>A_i = \{j \in I : j \supseteq i\}.</math> इन सभी का परिवार सेट है <math>A_i</math> एक उचित [[फ़िल्टर (सेट सिद्धांत)]] उत्पन्न करता है, इसलिए एक अल्ट्राफ़िल्टर (सेट सिद्धांत) है <math>U</math> जिसमें फॉर्म के सभी सेट शामिल हैं <math>A_i.</math>
 अब किसी भी सूत्र के लिए <math>\varphi</math> में <math>\Sigma:</math>
-* सेट <math>A_{\{\varphi\}}</math> में है <math>U</math>
+* समुच्चय <math>A_{\{\varphi\}}</math> में है <math>U</math>
 * जब कभी भी <math>j \in A_{\{\varphi\}},</math> तब <math>\varphi \in j,</math> इस तरह <math>\varphi</math> में रखता है <math>\mathcal M_j</math>
-*सभी का सेट <math>j</math> उस संपत्ति के साथ <math>\varphi</math> में रखता है  <math>\mathcal M_j</math> का एक सुपरसेट है <math>A_{\{\varphi\}},</math> इसलिए में भी <math>U</math>
+*सभी का समुच्चय <math>j</math> उस संपत्ति के साथ <math>\varphi</math> में रखता है  <math>\mathcal M_j</math> का एक सुपरसमुच्चय है <math>A_{\{\varphi\}},</math> इसलिए में भी <math>U</math>
-Ultraproduct#Łoś's प्रमेय|Łoś's प्रमेय अब इसका तात्पर्य है <math>\varphi</math> अल्ट्राप्रोडक्ट में रहता है <math display=inline>\prod_{i \subseteq \Sigma} \mathcal{M}_i/U.</math> इसलिए यह अल्ट्राप्रोडक्ट सभी फॉर्मूलों को पूरा करता है <math>\Sigma.</math>
+थ्योरम Łoś's थ्योरम अब इसका तात्पर्य है <math>\varphi</math> अल्ट्राप्रोडक्ट में रहता है <math display="inline">\prod_{i \subseteq \Sigma} \mathcal{M}_i/U.</math> इसलिए यह अल्ट्राप्रोडक्ट सभी फॉर्मूलों को पूरा करता है <math>\Sigma.</math>
 ==यह भी देखें==
-* {{annotated link|Barwise compactness theorem}}
+* {{annotated link|बारवाइज कॉम्पैक्टनेस प्रमेय}}
-* {{annotated link|Herbrand's theorem}}
+* {{annotated link|हेरब्रांड का प्रमेय}}
-* {{annotated link|List of Boolean algebra topics}}
+* {{annotated link|बूलियन बीजगणित विषयों की सूची}}
-* {{annotated link|Löwenheim–Skolem theorem}}
+* {{annotated link|लोवेनहेम-स्कोलेम प्रमेय}}
 ==टिप्पणियाँ==
@@ Line 81: / Line 84: @@
 {{Mathematical logic}}
-[[Category: गणितीय तर्क]] [[Category: मेटाथ्योरम]] [[Category: मॉडल सिद्धांत]] [[Category: गणित की नींव में प्रमेय]]
-[[Category: Machine Translated Page]]
+[[Category:Collapse templates]]
 [[Category:Created On 07/07/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Mathematics navigational boxes]]
+[[Category:Navbox orphans]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages with empty portal template]]
+[[Category:Pages with script errors]]
+[[Category:Philosophy and thinking navigational boxes]]
+[[Category:Portal-inline template with redlinked portals]]
+[[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]]
+[[Category:गणित की नींव में प्रमेय]]
+[[Category:गणितीय तर्क]]
+[[Category:मेटाथ्योरम]]
+[[Category:मॉडल सिद्धांत]]

Anonymous

Search

सघनता प्रमेय: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 16:59, 29 July 2023

Contents

इतिहास

अनुप्रयोग

रॉबिन्सन का सिद्धांत

अपवर्ड लोवेनहेम-स्कोलेम थ्योरम

गैर-मानक विश्लेषण

प्रमाण

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

सघनता प्रमेय: Difference between revisions

Latest revision as of 16:59, 29 July 2023

इतिहास

अनुप्रयोग

रॉबिन्सन का सिद्धांत

अपवर्ड लोवेनहेम-स्कोलेम थ्योरम

गैर-मानक विश्लेषण

प्रमाण

यह भी देखें

टिप्पणियाँ

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories