बल (गणित)

For पुनरावर्तन सिद्धांत में बल प्रयोग का उपयोग, see पुनरावृत्ति सिद्धांत.

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

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

अंतर्ज्ञान

सहज रूप से, बल में सिद्धांत सैद्धांतिक ब्रह्मांड (गणित) का विस्तार होता है, $V$ बड़े ब्रह्मांड के लिए $V^{*}$का चयन करती हैं। इस बड़े ब्रह्मांड में, उदाहरण के लिए, सिद्धांत के सबसिद्धांत के साथ पहचाने जाने वाले कई नए वास्तविक संख्या $\mathbb {N}$ हो सकती हैं प्राकृतिक संख्याएँ, जो पुराने ब्रह्मांड में नहीं थीं, और इस प्रकार सातत्य परिकल्पना का उल्लंघन करती हैं।

जबकि परिमित सिद्धांत सिद्धांत (गणित) के साथ व्यवहार करना असंभव है, यह अनंत के बारे में कैंटर के विरोधाभास का सिर्फ और संस्करण है। सिद्धांत रूप में, कोई विचार कर सकता है:

$V^{*}=V\times \{0,1\},$

पहचान करना $x\in V$ साथ $(x,0)$, और फिर विस्तारित सदस्यता संबंध प्रस्तुत करें जिसमें प्रपत्र के नए सिद्धांत सम्मलित हों $(x,1)$. विवशता पूर्ण इस विचार का अधिक विस्तृत संस्करण है, नए सिद्धांत के अस्तित्व के विस्तार को कम करता है, और इस प्रकार विस्तारित ब्रह्मांड के गुणों पर ठीक नियंत्रण की अनुमति देता है।

कोहेन की मूल विधि, जिसे अब शाखा मजबूर कहा जाता है, यहां बताए गए असम्बद्ध बल से थोड़ा अलग है। बल भी बूलियन-मूल्यवान प्रारूप की विधि के बराबर है, जो कुछ लोगों को वैचारिक रूप से अधिक स्वाभाविक और सहज लगता है, किन्तु इस प्रकार सामान्यतः इसे लागू करना अधिक कठिन होता है।

विवशता पूर्ण पोसेट्स

एक मजबूर पोसेट आदेशित ट्रिपल है, $(\mathbb {P} ,\leq ,\mathbf {1} )$, जहाँ $\mathbb {P}$$\leq$ पर अग्रिम आदेश है वह परमाणु (आदेश सिद्धांत) है, जिसका अर्थ है कि यह निम्नलिखित शर्तों को पूरा करता है:

• प्रत्येक के लिए $p\in \mathbb {P}$, जहाँ $q,r\in \mathbb {P}$ इस प्रकार है कि $q,r\leq p$, कोई साथ $s\in \mathbb {P}$ ऐसा है कि $s\leq q,r$. का सबसे बड़ा तत्व है $\mathbb {P}$ है $\mathbf {1}$, वह है, $p\leq \mathbf {1}$ सभी के लिए $p\in \mathbb {P}$.

के सदस्यों $\mathbb {P}$ मजबूर करने की स्थिति या सिर्फ स्थिति कहा जाता है। पढ़ता है $p\leq q$ जैसा$p$ से ज्यादा शक्तिशाली $q$ है, सहज रूप से, छोटी स्थिति अधिक जानकारी प्रदान करती है, जैसे कि छोटा अंतराल $[3.1415926,3.1415927]$ Pi| संख्या के बारे में अधिक जानकारी प्रदान करता है, πअंतराल की तुलना में $[3.1,3.2]$ करता है।

उपयोग में विभिन्न सम्मेलन हैं। कुछ लेखकों की आवश्यकता होती है $\leq$ प्रतिसममित संबंध भी होना चाहिए, जिससे कि संबंध आंशिक क्रम में होता हैं। कुछ वैसे भी आंशिक आदेश शब्द का उपयोग करते हैं, जो इस प्रकार मानक शब्दावली के साथ परस्पर विरोधी हैं, जबकि कुछ शब्द प्रीऑर्डर का उपयोग करते हैं। सबसे बड़े तत्व के साथ तिरस्कृत किया जा सकता है। रिवर्स ऑर्डरिंग का भी उपयोग किया जाता है, विशेष रूप से सहारों शेलाह और उनके सह-लेखकों द्वारा होता हैं।

पी-नाम

इस प्रकार मजबूर पोसेट के साथ संबद्ध $\mathbb {P}$ वर्ग है (सिद्धांत सिद्धांत) $V^{(\mathbb {P} )}$ का $\mathbb {P}$-नाम A $\mathbb {P}$-नाम सिद्धांत है $A$ फार्म का

$A\subseteq \{(u,p)\mid u~{\text{is a}}~\mathbb {P} {\text{-name and}}~p\in \mathbb {P} \}.$

यह वास्तव में ट्रांसफिनिट रिकर्सन द्वारा परिभाषा है। साथ $\varnothing$ खाली सिद्धांत, $\alpha +1$ क्रमसूचक का उत्तराधिकारी $\alpha$, ${\mathcal {P}}$ सत्ता स्थापित | पावर-सिद्धांत ऑपरेटर, और $\lambda$ सीमा क्रमसूचक, निम्नलिखित पदानुक्रम को परिभाषित करें:

${\begin{aligned}\operatorname {Name} (\varnothing )&=\varnothing ,\\\operatorname {Name} (\alpha +1)&={\mathcal {P}}(\operatorname {Name} (\alpha )\times \mathbb {P} ),\\\operatorname {Name} (\lambda )&=\bigcup \{\operatorname {Name} (\alpha )\mid \alpha <\lambda \}.\end{aligned}}$

फिर की कक्षा $\mathbb {P}$-नाम के रूप में परिभाषित किया गया है

$V^{(\mathbb {P} )}=\bigcup \{\operatorname {Name} (\alpha )~|~\alpha ~{\text{is an ordinal}}\}.$

$\mathbb {P}$वें>-नाम, वास्तव में, वॉन न्यूमैन ब्रह्मांड का विस्तार हैं। दिया गया $x\in V$, परिभाषित करता है ${\check {x}}$ होना के लिए $\mathbb {P}$-नाम

${\check {x}}=\{({\check {y}},\mathbf {1} )\mid y\in x\}.$

दोबारा, यह वास्तव में ट्रांसफिनिट रिकर्सन द्वारा परिभाषा है।

व्याख्या

इस प्रकार कोई उपसमुच्चय $G$ के लिए $\mathbb {P}$ दिया गया है , अगला व्याख्या या मूल्यांकन मानचित्र को परिभाषित करता है $\mathbb {P}$-नाम द्वारा

$\operatorname {val} (u,G)=\{\operatorname {val} (v,G)\mid \exists p\in G:~(v,p)\in u\}.$

यह फिर से ट्रांसफिनिट रिकर्सन द्वारा परिभाषा है। ध्यान दें कि यदि $\mathbf {1} \in G$, तब $\operatorname {val} ({\check {x}},G)=x$. तो परिभाषित करता है

${\underline {G}}=\{({\check {p}},p)\mid p\in G\}$

जिससे कि $\operatorname {val} ({\underline {G}},G)=\{\operatorname {val} ({\check {p}},G)\mid p\in G\}=G$.

उदाहरण

बल पोसेट का अच्छा उदाहरण है $(\operatorname {Bor} (I),\subseteq ,I)$, जहाँ$I=[0,1]$ और $\operatorname {Bor} (I)$ के बोरेल उपसमूहों का संग्रह है $I$ गैर-शून्य Lebesgue माप प्रकट करता हैं। इस स्थिति में, परिस्थितियों के बारे में संभावनाओं के रूप में बात की जा सकती है, और a $\operatorname {Bor} (I)$-नाम संभाव्य अर्थ में सदस्यता प्रदान करता है। तैयार अंतर्ज्ञान के कारण यह उदाहरण प्रदान कर सकता है, इस प्रकार संभाव्य भाषा का प्रयोग कभी-कभी अन्य अलग-अलग मजबूर पॉसिद्धांत्स के साथ किया जाता है।

गणनीय सकर्मक प्रारूप और सामान्य फ़िल्टर

बाध्य करने में मुख्य चरण दिया गया है a ${\mathsf {ZFC}}$ ब्रह्मांड $V$, उपयुक्त वस्तु खोजने के लिए $G$ अंदर नही $V$. की सभी व्याख्याओं का परिणामी वर्ग $\mathbb {P}$-नाम का प्रारूप होगा ${\mathsf {ZFC}}$ जो मूल रूप से मूल का विस्तार करता है, इस प्रकार $V$ (तब से $G\notin V$) के साथ कार्य करने के अतिरिक्त $V$, गणनीय सकर्मक प्रारूप पर विचार करना उपयोगी है $M$ साथ $(\mathbb {P} ,\leq ,\mathbf {1} )\in M$. प्रारूप सिद्धांत सिद्धांत के प्रारूप को संदर्भित करता है, या तो सभी में से ${\mathsf {ZFC}}$, या बड़े किन्तु परिमित उपसमुच्चय का प्रारूप ${\mathsf {ZFC}}$, या उसका कोई संस्करण हैं। सकर्मकता का अर्थ है कि यदि $x\in y\in M$, तब $x\in M$. मोस्टोव्स्की पतन लेमो में कहा गया है कि सदस्यता संबंध अच्छी प्रकार से स्थापित होने पर यह माना जाता है। सकर्मकता का प्रभाव यह है कि सदस्यता और अन्य प्राथमिक धारणाओं को सहजता से नियंत्रित किया जाता है। इस प्रकार प्रारूप की गणना लोवेनहेम-स्कोलेम प्रमेय पर निर्भर करती है।

जैसा $M$ सिद्धांत है, इसमें सिद्धांत नहीं हैं $M$ - यह रसेल के विरोधाभास से आता है। उपयुक्त सिद्धांत $G$ चुनना और जोड़ना $M$ सामान्य फ़िल्टर चालू है $\mathbb {P}$. फ़िल्टर स्थिति का अर्थ है कि:

• $G\subseteq \mathbb {P} ;$
• $\mathbf {1} \in G;$
• यदि $p\geq q\in G$, तब $p\in G;$
• यदि $p,q\in G$, तो वहाँ सम्मलित है $r\in G$ ऐसा है कि $r\leq p,q.$

के लिए $G$ सामान्य होने का अर्थ है:

• यदि $D\in M$ का सघन उपसमुच्चय है $\mathbb {P}$ (अर्ताथ, प्रत्येक के लिए $p\in \mathbb {P}$, वहाँ सम्मलित है, जहाँ $q\in D$ ऐसा है कि $q\leq p$), तब $G\cap D\neq \varnothing$ द्वारा प्रकट होता हैं।

इस प्रकार सामान्य फ़िल्टर का अस्तित्व $G$ रसिओवा-सिकोर्स्की लेम्मा से आता है। वास्तव में, थोड़ा और सत्य है: शर्त दी गई है $p\in \mathbb {P}$, कोई सामान्य फ़िल्टर पा सकता है $G$ ऐसा है कि $p\in G$. बंटवारे की स्थिति के कारण $\mathbb {P}$ (ऊपर 'परमाणुलेस' कहा जा रहा है), यदि $G$ फिल्टर है, फिर $\mathbb {P} \setminus G$ सघन है। यदि $G\in M$, तब $\mathbb {P} \setminus G\in M$ क्योंकि $M$ का प्रारूप है ${\mathsf {ZFC}}$. इस कारण से, सामान्य फ़िल्टर कभी नहीं होता है $M$.

विवशतापूर्वक

इस प्रकार सामान्य फ़िल्टर दिया गया $G\subseteq \mathbb {P}$, निम्नानुसार आगे बढ़ता है। जिसका उपवर्ग $\mathbb {P}$ में $M$ द्वारा निरूपित किया जाता है, इसलिए इसे हम $M^{(\mathbb {P} )}$ प्रकार लिखते हैं।

$M[G]=\left\{\operatorname {val} (u,G)~{\Big |}~u\in M^{(\mathbb {P} )}\right\}.$

के सिद्धांत सिद्धांत के अध्ययन को कम करने के लिए $M[G]$ उसके वहां के लिए $M$, विवशता पूर्ण भाषा के साथ कार्य करता है, जो बाइनरी रिलेशन के रूप में सदस्यता के साथ सामान्य प्रथम-क्रम तर्क की प्रकार निर्मित होता है और सभी $\mathbb {P}$ प्रकार के नाम के स्थिरांक के रूप में उपयोग में लाया जाता हैं।

परिभाषित करना $p\Vdash _{M,\mathbb {P} }\varphi (u_{1},\ldots ,u_{n})$ (के रूप में पढ़ने के लिए$p$ ताकतों $\varphi$ प्रारूप में $M$ पोसेट के साथ $\mathbb {P}$), जहाँ $p$ शर्त है, $\varphi$ विवशता पूर्ण भाषा में सूत्र है, और $u_{i}$के हैं $\mathbb {P}$-नाम, इसका अर्थ है कि यदि $G$ सामान्य $p$ फ़िल्टर युक्त है , तब $M[G]\models \varphi (\operatorname {val} (u_{1},G),\ldots ,\operatorname {val} (u_{n},G))$. विशेष स्थिति $\mathbf {1} \Vdash _{M,\mathbb {P} }\varphi$ प्रायः के रूप में लिखा जाता है$\mathbb {P} \Vdash _{M,\mathbb {P} }\varphi$या केवल$\Vdash _{M,\mathbb {P} }\varphi$. में ऐसे कथन सत्य हैं तथा $M[G]$, में $G$ के लिए कोई जरूरी पक्ष नहीं लिया जाता हैं।

इस प्रकार महत्वपूर्ण बात यह है कि यह विवशता पूर्ण संबंध की बाहरी परिभाषा $p\Vdash _{M,\mathbb {P} }\varphi$ है, जिसके भीतर आंतरिक परिभाषा के बराबर $M$ उपलब्ध है , पार परिमित प्रेरण द्वारा परिभाषित किया गया है, जहाँ $\mathbb {P}$-नाम के उदाहरणों पर $u\in v$ और $u=v$, और फिर सूत्रों की जटिलता पर साधारण प्रेरण द्वारा प्रदर्शित किया जाता हैं। इसका प्रभाव यह है कि के सभी गुण $M[G]$ के गुण $M$ हैं, और इसका सत्यापन ${\mathsf {ZFC}}$ में $M[G]$ सीधा हो जाता है। इसे सामान्यतः निम्नलिखित तीन प्रमुख गुणों के रूप में संक्षेपित किया जाता है:

• सच: $M[G]\models \varphi (\operatorname {val} (u_{1},G),\ldots ,\operatorname {val} (u_{n},G))$ यदि और केवल यदि इसके द्वारा मजबूर किया जाता है तथा $G$अर्ताथ कुछ शर्तों के लिए $p\in G$, अपने पास $p\Vdash _{M,\mathbb {P} }\varphi (u_{1},\ldots ,u_{n})$ मान निर्गत रखता हैं
• निश्चितता: कथन$p\Vdash _{M,\mathbb {P} }\varphi (u_{1},\ldots ,u_{n})$में निश्चित मान $M$ है।
• सुसंगतता: $p\Vdash _{M,\mathbb {P} }\varphi (u_{1},\ldots ,u_{n})\land q\leq p\implies q\Vdash _{M,\mathbb {P} }\varphi (u_{1},\ldots ,u_{n})$.

इस प्रकार हम विवशता पूर्ण संबंध को परिभाषित करते हैं, $\Vdash _{M,\mathbb {P} }$ में $M$ सूत्रों की जटिलता पर प्रेरण द्वारा, जिसमें हम पहले परमाणु सूत्रों के संबंध को परिभाषित करते हैं जिसे $\in$-इंडक्शन और फिर इसे मनमाने फॉर्मूलों के लिए उनकी जटिलता पर इंडक्शन द्वारा परिभाषित करें।

हम पहले परमाणु सूत्रों पर बल संबंध को परिभाषित करते हैं, ऐसा दोनों प्रकार के सूत्रों के लिए करते हैं, $x\in y$ और $x=y$, इसके साथ ही। इसका अर्थ है कि हम संबंध को परिभाषित करते हैं $R(p,a,b,t,\mathbb {P} )$ जहाँ$t$ सूत्र के प्रकार को निम्नानुसार दर्शाता है:

1. $R(p,a,b,0,\mathbb {P} )$ साधन $p\Vdash _{\mathbb {P} }a\in b$.
2. $R(p,a,b,1,\mathbb {P} )$ साधन $p\Vdash _{\mathbb {P} }a=b$.
3. $R(p,a,b,2,\mathbb {P} )$ साधन $p\Vdash _{\mathbb {P} }a\subseteq b$.

इस प्रकार यहाँ $p$ शर्त है और $a$ और $b$ हैं $\mathbb {P}$-नाम। होने देना $R(p,a,b,t,\mathbb {P} )$ द्वारा परिभाषित सूत्र को $\in$-के रूप में उपयोग किया जाता हैं

आर 1। $R(p,a,b,0,\mathbb {P} )$ यदि और केवल यदि $(\forall q\leq p)(\exists r\leq q)(\exists (c,s)\in b)(r\leq s\,\land \,R(r,a,c,1,\mathbb {P} ))$ के रूप में होता हैं।

$R(p,a,b,1,\mathbb {P} )$ यदि और केवल यदि $R(r,a,b,2,\mathbb {P} )\,\land \,R(r,b,a,2,\mathbb {P} )$पी 3 $R(p,a,b,2,\mathbb {P} )$ यदि और केवल यदि $(\forall (c,s)\in a)(\forall q\leq p)(\exists r\leq q)(r\leq s\,\Rightarrow \,R(r,c,b,0,\mathbb {P} ))$.

अधिक औपचारिक रूप से, हम निम्नलिखित द्विआधारी संबंध का उपयोग करते हैं, $\mathbb {P}$-नाम के फंक्शन के अनुसार $S(a,b)$ नामों के लिए रखता है $a$ और $b$ यदि और केवल यदि $(a,p)\in b$ कम से कम शर्त के लिए $p$ हैं। यह संबंध अच्छी प्रकार से स्थापित है, जिसका अर्थ है कि किसी भी नाम के लिए $a$ सभी नामों का वर्ग $b$, ऐसा है कि $S(a,b)$ धारण करता है, समुच्चय है और कोई फलन नहीं है $f:\omega \longrightarrow {\text{Names}}$ ऐसा है कि $(\forall n\in \omega )S(f(n+1),f(n))$ प्राप्त होता हैं।

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

ट्रांज़िटिविटी के लिए किसी भी बाइनरी रिलेशन को बंद करना सरल है। नामों के लिए $a$ और $b$, $a<b$ धारण करता है यदि कम से कम परिमित अनुक्रम है $c_{0},\dots ,c_{n}$ (डोमेन के साथ मानचित्र के रूप में $\{0,\dots ,n\}$) कुछ के लिए $n>0$ ऐसा है कि $c_{0}=a$, $c_{n}=b$ और किसी के लिए $i<n$, $S(c_{i-1},c_{i})$ रखती है। इस प्रकार का आदेश भी अच्छी प्रकार से स्थापित है।

इस प्रकार हम नामों के जोड़े पर निम्नलिखित सुपरिभाषित क्रम $T((a,b),(c,d))$ को परिभाषित करते हैं: यदि निम्न में से कोई धारण करता है:

1. $\max\{a,b\}<\max\{c,d\},$
2. $\max\{a,b\}=\max\{c,d\}$ और $\min\{a,b\}<\min\{c,d\},$
3. $\max\{a,b\}=\max\{c,d\}$ और $\min\{a,b\}=\min\{c,d\}$ और $a<c.$

इस प्रकार रिलेशन $R(p,a,b,t,\mathbb {P} )$ जोड़े पर रिकर्सन $(a,b)$ नामों के फंक्शन द्वारा परिभाषित किया गया है । किसी भी जोड़ी के लिए यह सरल जोड़े पर समान संबंध द्वारा परिभाषित किया गया है। इसके अतिरिक्त, पुनरावर्तन प्रमेय द्वारा सूत्र है $R(p,a,b,t,\mathbb {P} )$ जैसे कि R1, R2 और R3 प्रमेय हैं क्योंकि किसी बिंदु पर इसका सत्य मान इसके सत्य मानों द्वारा छोटे बिंदुओं में परिभाषित किया जाता है, जो कि कुछ अच्छी प्रकार से स्थापित संबंधों के सापेक्ष होता है, जो आदेश के रूप में उपयोग किया जाता है। अब, हम बल संबंध को परिभाषित करने के लिए तैयार हैं:

1. $p\Vdash _{\mathbb {P} }a\in b$ साधन $a,b\in {\text{Name}}\,\land \,R(p,a,b,0,\mathbb {P} ).$
2. $p\Vdash _{\mathbb {P} }a=b$ साधन $a,b\in {\text{Name}}\,\land \,R(p,a,b,1,\mathbb {P} ).$
3. $p\Vdash _{\mathbb {P} }\lnot f(a_{1},\dots ,a_{n})$ साधन $a_{1},\dots ,a_{n}\in {\text{Name}}\,\land \,\lnot (\exists q\leq p)q\Vdash _{\mathbb {P} }f(a_{1},\dots ,a_{n}).$
4. $p\Vdash _{\mathbb {P} }(f(a_{1},\dots ,a_{n})\land g(a_{1},\dots ,a_{n}))$ साधन $a_{1},\dots ,a_{n}\in {\text{Name}}\,\land \,(p\Vdash _{\mathbb {P} }f(a_{1},\dots ,a_{n}))\land (p\Vdash _{\mathbb {P} }g(a_{1},\dots ,a_{n})).$
5. $p\Vdash _{\mathbb {P} }(\forall x)f(a_{1},\dots ,a_{n},x)$ साधन $a_{1},\dots ,a_{n}\in {\text{Name}}\,\land \,(\forall b\in {\text{Names}})p\Vdash _{\mathbb {P} }f(a_{1},\dots ,a_{n},b).$

इसके अतिरिक्त, यह स्वयं के फार्मूले का रूपांतरण $f(x_{1},\dots ,x_{n})$ रूप में करता हैं जिसमें सूत्र के लिए $p\Vdash _{\mathbb {P} }f(x_{1},\dots ,x_{n})$ का उपयोग करते हैं, जहाँ$p$ और $\mathbb {P}$ अतिरिक्त चर हैं। यह ब्रह्मांड में विवशता पूर्ण संबंध की परिभाषा है $V$ किसी भी गणनीय सकर्मक प्रारूप की परवाह किए बिना सभी समुच्चयों की। चूंकि, बल के इस वाक्यात्मक सूत्रीकरण और कुछ गणनीय सकर्मक प्रारूप पर बल के शब्दार्थ सूत्रीकरण $M$ के बीच संबंध है

1. किसी भी सूत्र के लिए $f(x_{1},\dots ,x_{n})$ प्रमेय है $T$ सिद्धांत का ${\mathsf {ZFC}}$ (उदाहरण के लिए स्वयंसिद्धों की परिमित संख्या का संयोजन) जैसे कि किसी भी गणनीय सकर्मक प्रारूप के लिए $M$ ऐसा है कि $M\models T$ और कोई परमाणु रहित आंशिक क्रम $\mathbb {P} \in M$ और कोई भी $\mathbb {P}$-सामान्य फिल्टर $G$ ऊपर $M$
   $$(\forall a_{1},\ldots ,a_{n}\in M^{\mathbb {P} })(\forall p\in \mathbb {P} )(p\Vdash _{M,\mathbb {P} }f(a_{1},\dots ,a_{n})\,\Leftrightarrow \,M\models p\Vdash _{\mathbb {P} }f(a_{1},\dots ,a_{n})).$$

इसे विवशता पूर्ण संबंध की निश्चितता का गुण कहा जाता है।

संगति

ऊपर की चर्चा को मौलिक स्थिरता परिणाम द्वारा संक्षेपित किया जा सकता है, जो कि जबरदस्त पोसेट दिया गया है $\mathbb {P}$, इस प्रकार हम सामान्य फ़िल्टर के अस्तित्व को मान सकते हैं $G$, ब्रह्मांड से संबंधित नहीं $V$, ऐसा है कि $V[G]$ फिर से सिद्धांत-सैद्धांतिक ब्रह्मांड है जो ${\mathsf {ZFC}}$ प्रारूप करता है, इस प्रकार इसके अतिरिक्त सभी सत्य $V[G]$ में सत्य को कम किया जा सकता है $V$ विवशता पूर्ण संबंध सम्मलित है।

दोनों शैलियों, आसन्न $G$ या तो गणनीय सकर्मक प्रारूप के लिए $M$ या पूरा ब्रह्मांड $V$, सामान्यतः उपयोग किए जाते हैं। बल की आंतरिक परिभाषा का उपयोग करने वाला दृष्टिकोण सामान्यतः कम देखा जाता है, जिसमें सिद्धांत या क्लास प्रारूप का कोई उल्लेख नहीं किया जाता है। यह कोहेन की मूल पद्धति थी, और विस्तार में, यह बूलियन-मूल्यवान विश्लेषण की पद्धति बन जाती है।

कोहेन स्थिति

रिवर्स समावेशन के अनुसार $(\operatorname {Fin} (\omega ,2),\supseteq ,0)$, परिमित आंशिक कार्य से $\omega$ को $2~{\stackrel {\text{df}}{=}}~\{0,1\}$ को सबसे सरल गैर-तुच्छ बल पोसेट है। अर्ताथ शर्त $p$ अनिवार्य रूप से दो असंयुक्त परिमित उपसमुच्चय हैं ${p^{-1}}[1]$ और ${p^{-1}}[0]$ का $\omega$, हां और नहीं के हिस्से के रूप में सोचा जाना चाहिए $p$, के डोमेन के बाहर मूल्यों पर कोई जानकारी प्रदान नहीं की गई है, इस प्रकार $p$.$q$ से ज्यादा शक्तिशाली है तथा $p$ का अर्थ है कि $q\supseteq p$, दूसरे शब्दों में, हां और ना के भाग $q$ हां और नहीं के हिस्से के सुपरसिद्धांत $p$ हैं , और इस प्रकार उस अर्थ में अधिक जानकारी प्रदान करता हैं।

$G$ इस पॉसिद्धांत के लिए सामान्य फ़िल्टर बनाता है। यदि $p$ और $q$ दोनों में हैं $G$, तब $p\cup q$ शर्त है क्योंकि $G$ फिल्टर है। इस का अर्थ है कि $g=\bigcup G$ से अच्छी प्रकार से परिभाषित आंशिक कार्य है $\omega$ को $2$ क्योंकि किन्हीं दो स्थितियों में $G$ उनके सामान्य डोमेन पर सहमत हैं।

वास्तव में, $g$ कुल कार्य है। दिया गया $n\in \omega$, होने देना $D_{n}=\{p\mid p(n)~{\text{is defined}}\}$. तब $D_{n}$ सघन है। (कोई दिया गया $p$, यदि $n$ इसमें नहीं है $p$का डोमेन, के लिए मान संलग्न करें $n$-परिणाम आ गया है $D_{n}$।) शर्त $p\in G\cap D_{n}$ है $n$ इसके डोमेन में, और उसके बाद से $p\subseteq g$, हम $g(n)$ पाते हैं जिसे परिभाषित किया गया हैं।

$X={g^{-1}}[1]$, सामान्य स्थितियों के सभी हाँ सदस्यों का सिद्धांत के लिए $X$ नाम देना संभव है-

${\underline {X}}=\left\{\left({\check {n}},p\right)\mid p(n)=1\right\}.$

तब $\operatorname {val} ({\underline {X}},G)=X.$ अब मान लीजिए $A\subseteq \omega$ में $V$ के लिए .$X\neq A$ हम यह दावा करते हैं .

$D_{A}=\{p\mid (\exists n)(n\in \operatorname {Dom} (p)\land (p(n)=1\iff n\notin A))\}.$

तब $D_{A}$ सघन है। (कोई दिया गया $p$, पाना $n$ जो इसके डोमेन में नहीं है, और इसके लिए मान संलग्न करें $n$ की स्थिति के विपरीत$n\in A$।) फिर कोई $p\in G\cap D_{A}$ गवाहों $X\neq A$. संक्षेप में, $X$ का नया उपसमुच्चय $\omega$, अनिवार्य रूप से अनंत है ।

की जगह $\omega$ साथ $\omega \times \omega _{2}$, अर्थात्, परिमित आंशिक कार्यों पर विचार करें जिनके इनपुट फॉर्म $(n,\alpha )$, साथ $n<\omega$ और $\alpha <\omega _{2}$ के रूप में हैं, और जिनके आउटपुट हैं $0$ या $1$, मिलता है $\omega _{2}$ के नए उपसमुच्चय $\omega$. घनत्व तर्क द्वारा वे सभी अलग हैं: दिया गया $\alpha <\beta <\omega _{2}$, होने देता हैं

$D_{\alpha ,\beta }=\{p\mid (\exists n)(p(n,\alpha )\neq p(n,\beta ))\},$ फिर प्रत्येक $D_{\alpha ,\beta }$ सघन है, और इसमें सामान्य स्थिति यह सिद्ध करती है कि αth नया सिद्धांत कहीं से असहमत है $\beta$वें नया सिद्धांत प्रस्तावित करता हैं।

यह अभी तक सातत्य परिकल्पना का मिथ्याकरण नहीं है। किसी को यह सिद्ध करना होगा कि कौन सा नक्शा कोई नया नक्शा प्रस्तुत नहीं किया गया है $\omega$ पर $\omega _{1}$, या $\omega _{1}$ पर $\omega _{2}$. उदाहरण के लिए, यदि कोई इसके अतिरिक्त विचार करता है $\operatorname {Fin} (\omega ,\omega _{1})$, परिमित आंशिक कार्य $\omega$ को $\omega _{1}$, पहला क्रमसूचक, अंदर आता है और $V[G]$ से आपत्ति $\omega$ को $\omega _{1}$. दूसरे शब्दों में, $\omega _{1}$ ढह गया है, और विवशता पूर्ण विस्तार में, गणनीय क्रमसूचक है।

सातत्य परिकल्पना की स्वतंत्रता दिखाने में अंतिम चरण, तब, यह दिखाना है कि कोहेन बल कार्डिनल्स को नहीं गिराती है। इसके लिए, पर्याप्त दहनशील संपत्ति यह है कि बल पोसेट के सभी एंटीचैंस गणनीय हैं।

गणनीय श्रृंखला की स्थिति

Main article: गणनीय श्रृंखला की स्थिति

एक शक्तिशाली एंटीचैन | (शक्तिशाली) एंटीचैन $A$ का $\mathbb {P}$ उपसमुच्चय है जैसे कि यदि $p,q\in A$, तब $p$ और $q$ असंगत हैं (लिखित $p\perp q$), अर्थ नहीं है $r$ में $\mathbb {P}$ ऐसा है कि $r\leq p$ और $r\leq q$. बोरेल सिद्धांत के उदाहरण में, असंगति का अर्थ है कि $p\cap q$ शून्य माप है। परिमित आंशिक कार्यों के उदाहरण में, असंगति का अर्थ है कि $p\cup q$ कार्य नहीं है, दूसरे शब्दों में, $p$ और $q$ कुछ डोमेन इनपुट के लिए अलग-अलग मान असाइन करता हैं।

$\mathbb {P}$ गणनीय श्रृंखला की स्थिति (c.c.c.) को संतुष्ट करता है यदि और केवल यदि हर एंटीचैन में $\mathbb {P}$ गणनीय है। (नाम, जो स्पष्ट रूप से अनुपयुक्त है, पुरानी शब्दावली से लिया गया है। कुछ गणितज्ञ c.a.c. गणनीय एंटीचेन स्थिति के लिए लिखते हैं।)

इसे देखना सरल है $\operatorname {Bor} (I)$ c.c.c को संतुष्ट करता है क्योंकि उपायों का योग अधिकतम होता है इस प्रकार $1$. के लिए, $\operatorname {Fin} (E,2)$ c.c.c. को संतुष्ट करता है, किन्तु प्रमाण अधिक कठिन है।

एक कीमती सब फैमली में $W\subseteq \operatorname {Fin} (E,2)$, सिकुड़ना $W$ कीमती उपपरिवार के लिए $W_{0}$ आकार के सिद्धांत के $n$, कुछ के लिए $n<\omega$. यदि $p(e_{1})=b_{1}$ अनगिनत के लिए $p\in W_{0}$, इसे कीमती उपपरिवार में सिकोड़ें $W_{1}$ और दोहराएँ, परिमित समुच्चय प्राप्त करें $\{(e_{1},b_{1}),\ldots ,(e_{k},b_{k})\}$ और कीमती परिवार $W_{k}$ आकार की असंगत स्थितियों का $n-k$ ऐसा है कि हर $e$ में है $\operatorname {Dom} (p)$ अधिक से अधिक गणनीय कई के लिए $p\in W_{k}$. अब, मनमाना चुनें $p\in W_{k}$, और से चुनें $W_{k}$ कोई $q$ यह उन गिने-चुने सदस्यों में से नहीं है जिनके साथ डोमेन सदस्य उभयनिष्ठ है $p$. तब $p\cup \{(e_{1},b_{1}),\ldots ,(e_{k},b_{k})\}$ और $q\cup \{(e_{1},b_{1}),\ldots ,(e_{k},b_{k})\}$ संगत हैं, इसलिए $W$ एंटीचैन नहीं है। दूसरे शब्दों में, $\operatorname {Fin} (E,2)$-एंटीचेन्स गणनीय हैं।

बल में एंटीचेन्स का महत्व यह है कि अधिकांश उद्देश्यों के लिए, घने सिद्धांत और अधिकतम एंटीचेन्स समकक्ष हैं। अधिकतम एंटीचैन $A$ ऐसा है जिसे बड़े एंटीचैन तक नहीं बढ़ाया जा सकता है। इसका अर्थ है कि हर तत्व $p\in \mathbb {P}$ के कुछ सदस्यों के साथ संगत है $A$. अधिकतम एंटीचेन का अस्तित्व ज़ोर्न के लेम्मा से आता है | ज़ोर्न की लेम्मा के लिे अधिकतम एंटीचैन $A$ दिया गया है।

$D=\left\{p\in \mathbb {P} \mid (\exists q\in A)(p\leq q)\right\}.$

तब $D$ सघन है, और $G\cap D\neq \varnothing$ यदि और केवल यदि $G\cap A\neq \varnothing$. इसके विपरीत, सघन सिद्धांत दिया $D$, ज़ोर्न का लेम्मा दर्शाता है कि अधिकतम एंटीचेन सम्मलित है $A\subseteq D$, और तब $G\cap D\neq \varnothing$ यदि और केवल यदि $G\cap A\neq \varnothing$.

ये मान लीजिए $\mathbb {P}$ c.c.c को संतुष्ट करता है दिया गया $x,y\in V$, साथ $f:x\to y$ में फंक्शन $V[G]$, अनुमान लगाया जा सकता है $f$ अंदर $V$ निम्नलिखित नुसार। होने देना $u$ के लिए नाम हो $f$ (की परिभाषा के अनुसार $V[G]$) और जाने $p$ ऐसी स्थिति हो जो मजबूर करे $u$ से फंक्शन होना $x$ को $y$. फंक्शन परिभाषित करें $F$, जिसका डोमेन है $x$, द्वारा

$F(a){\stackrel {\text{df}}{=}}\left\{b\left|(\exists q\in \mathbb {P} )\left[(q\leq p)\land \left(q\Vdash ~u\left({\check {a}}\right)={\check {b}}\right)\right]\right\}.\right.$ विवशता पूर्ण की निश्चितता से, यह परिभाषा समझ में आती है $V$. विवशता पूर्ण के सामंजस्य से, अलग $b$ असंगत से आते हैं , $p$. सी.सी.सी. द्वारा, $F(a)$ गणनीय है।

सारांश, $f$ में अज्ञात है $V$ जैसा कि यह निर्भर करता है $G$, किन्तु यह सी.सी.सी.-बल के लिए बेतहाशा अज्ञात नहीं है। के मूल्य के लिए अनुमानों के गणनीय सिद्धांत की पहचान कर सकते हैं $f$ से स्वतंत्र किसी भी इनपुट $G$ पर है।

इसके निम्नलिखित बहुत महत्वपूर्ण परिणाम हैं। मैं फ़िन $V[G]$, $f:\alpha \to \beta$ अनंत क्रमवाचक से दूसरे पर अनुमान है, तो अनुमान है $g:\omega \times \alpha \to \beta$ में $V$, और फलस्वरूप, अनुमान $h:\alpha \to \beta$ में $V$. विशेष रूप से, कार्डिनल्स पतन नहीं कर सकते। $V[G]$ के लिए निष्कर्ष $2^{\aleph _{0}}\geq \aleph _{2}$ निकाला गया हैं।

ईस्टन बल

उपरोक्त कोहेन प्रारूप में सातत्य का सटीक मूल्य, और जैसे वेरिएंट $\operatorname {Fin} (\omega \times \kappa ,2)$ कार्डिनल्स के लिए $\kappa$ सामान्य तौर पर, रॉबर्ट एम. सोलोवे द्वारा कार्य किया गया था, जिन्होंने यह भी पता लगाया था कि उल्लंघन कैसे किया जाए ${\mathsf {GCH}}$ (सातत्य परिकल्पना#सामान्यीकृत सातत्य परिकल्पना), केवल नियमित कार्डिनल्स के लिए, सीमित संख्या में बार। उदाहरण के लिए, उपरोक्त कोहेन प्रारूप में, यदि ${\mathsf {CH}}$ में रखता है $V$, तब $2^{\aleph _{0}}=\aleph _{2}$ में रखता है $V[G]$.

विलियम बिगेलो ईस्टन|विलियम बी. ईस्टन ने उल्लंघन करने के लिए उचित वर्ग संस्करण तैयार किया ${\mathsf {GCH}}$ नियमित कार्डिनल्स के लिए, मूल रूप से दिखा रहा है कि ज्ञात प्रतिबंध, (एकरसता, कैंटर का प्रमेय | कैंटर का प्रमेय | कैंटर का प्रमेय और कोनिग का प्रमेय (सिद्धांत सिद्धांत) | कोनिग का प्रमेय), केवल ${\mathsf {ZFC}}$-साध्य प्रतिबंध (देखें ईस्टन का प्रमेय | ईस्टन का प्रमेय)।

ईस्टन का कार्य इस मायने में उल्लेखनीय था कि इसमें परिस्थितियों के उचित वर्ग के साथ विवशता पूर्ण करना सम्मलित था। सामान्य तौर पर, परिस्थितियों के उचित वर्ग के साथ बल देने की विधि का प्रारूप देने में विफल रहती है ${\mathsf {ZFC}}$. उदाहरण के लिए, विवशता पूर्ण करना $\operatorname {Fin} (\omega \times \mathbf {On} ,2)$, जहाँ$\mathbf {On}$ सभी अध्यादेशों का उचित वर्ग है, सातत्य को उचित वर्ग बनाता है। दूसरी ओर, साथ विवशता पूर्ण $\operatorname {Fin} (\omega ,\mathbf {On} )$ अध्यादेशों की गणनीय गणना प्रस्तुत करता है। दोनों ही स्थितियों में, परिणामी $V[G]$ का आदर्श नहीं है ${\mathsf {ZFC}}$.

एक समय में, यह सोचा गया था कि अधिक परिष्कृत बल भी नियमित कार्डिनल्स की शक्तियों में मनमाने ढंग से बदलाव की अनुमति देगा। चूंकि, यह कठिन, सूक्ष्म और यहाँ तक कि आश्चर्यजनक समस्या बन गई है, जिसमें कई और PCF सिद्धांत सम्मलित हैं ${\mathsf {ZFC}}$ और विभिन्न बड़े कार्डिनल | बड़े-कार्डिनल गुणों की स्थिरता के आधार पर मजबूर प्रारूप के साथ। कई खुली समस्याएं बनी हुई हैं।

रैंडम रीलों

Main article: रैंडम बीजगणित

रैंडम बल को सिद्धांत पर बल के रूप में परिभाषित किया जा सकता है $P$ के सभी कॉम्पैक्ट उपसमुच्चय $[0,1]$ संबंध द्वारा आदेशित सकारात्मक उपाय $\subseteq$ (सम्मलित करने के संदर्भ में छोटा सिद्धांत क्रम में छोटा सिद्धांत है और अधिक जानकारी के साथ स्थिति का प्रतिनिधित्व करता है)। दो प्रकार के महत्वपूर्ण सघन सिद्धांत हैं:

1. किसी भी सकारात्मक पूर्णांक के लिए $n$ सिद्धांत
   $$D_{n}=\left\{p\in P:\operatorname {diam} (p)<{\frac {1}{n}}\right\}$$
   सघन है, जहाँहै $\operatorname {diam} (p)$ सिद्धांत का व्यास है $p$.
2. किसी भी बोरेल सबसिद्धांत के लिए $B\subseteq [0,1]$ माप 1 का, सिद्धांत
   $$D_{B}=\{p\in P:p\subseteq B\}$$
   सघन है।

किसी भी फिल्टर के लिए $G$ और किसी भी निश्चित रूप से कई तत्वों के लिए $p_{1},\ldots ,p_{n}\in G$ वहाँ है $q\in G$ ऐसा जो धारण करता है $q\leq p_{1},\ldots ,p_{n}$. इस आदेश के स्थिति में, इसका अर्थ है कि कोई भी फ़िल्टर परिमित चौराहे की संपत्ति के साथ कॉम्पैक्ट सिद्धांत का सिद्धांत है। इस कारण से, किसी भी फ़िल्टर के सभी तत्वों का प्रतिच्छेदन खाली नहीं है। यदि $G$ सघन समुच्चय को प्रतिच्छेद करने वाला फिल्टर है $D_{n}$ किसी भी सकारात्मक पूर्णांक के लिए $n$, फिर फ़िल्टर करें $G$ मनमाने ढंग से छोटे सकारात्मक व्यास की शर्तें सम्मलित हैं। इसलिए, से सभी स्थितियों का प्रतिच्छेदन $G$ व्यास 0 है। किन्तु व्यास 0 के केवल गैर-रिक्त सिद्धांत सिंगलटन हैं। अतः ठीक वास्तविक संख्या है $r_{G}$ ऐसा है कि $r_{G}\in \bigcap G$.

होने देना $B\subseteq [0,1]$ माप का कोई भी बोरेल सिद्धांत हो 1. यदि $G$ काटती है $D_{B}$, तब $r_{G}\in B$.

चूंकि, गणनीय सकर्मक प्रारूप पर सामान्य फ़िल्टर $V$ इसमें नहीं है $V$. असली $r_{G}$ द्वारा परिभाषित $G$ का अंग नहीं है $V$. समस्या यह है कि यदि $p\in P$, तब $V\models$ $p$ कॉम्पैक्ट है, किन्तु कुछ बड़े ब्रह्मांड के दृष्टिकोण से $U\supset V$, $p$ गैर-कॉम्पैक्ट हो सकता है और सामान्य फ़िल्टर से सभी स्थितियों का प्रतिच्छेदन हो सकता है $G$ वास्तव में खाली है। इस कारण से, हम सिद्धांत पर विचार करते हैं $C=\{{\bar {p}}:p\in G\}$ जी से शर्तों के सांस्थितिक बंद होने की था। जिसके कारण से ${\bar {p}}\supseteq p$ और परिमित चौराहे की संपत्ति $G$, सिद्धांत $C$ परिमित अंतःखण्ड संपत्ति भी है। सिद्धांत के तत्व $C$ परिबद्ध संवृत समुच्चय परिबद्ध समुच्चय के संवरक के रूप में होते हैं। इसलिए, $C$कॉम्पैक्ट सिद्धांत का सिद्धांत है। परिमित अंतःखण्ड संपत्ति के साथ और इस प्रकार गैर-खाली अंतःखण्ड है। तब से $\operatorname {diam} ({\bar {p}})=\operatorname {diam} (p)$ और ग्राउंड प्रारूप $V$ ब्रह्मांड से मीट्रिक प्राप्त करता है $U$, सिद्धांत $C$ मनमाने ढंग से छोटे व्यास के तत्व हैं। अंत में, वास्तव में वास्तविक है जो सिद्धांत के सभी सदस्यों से संबंधित है, $C$. सामान्य फ़िल्टर $G$ से पुनर्निर्माण किया जा सकता है $r_{G}$ जैसा $G=\{p\in P:r_{G}\in {\bar {p}}\}$.

यदि $a$ का नाम है $r_{G}$, और के लिए $B\in V$ रखती है $V\models$ $B$ माप 1 का बोरेल सिद्धांत है, फिर होल्ड करता है

$V[G]\models \left(p\Vdash _{\mathbb {P} }a\in {\check {B}}\right)$ कुछ के लिए $p\in G$. नाम है $a$ ऐसा कि किसी भी सामान्य फ़िल्टर के लिए $G$ रखती है

$\operatorname {val} (a,G)\in \bigcup _{p\in G}{\bar {p}}.$ तब

$V[G]\models \left(p\Vdash _{\mathbb {P} }a\in {\check {B}}\right)$ किसी भी शर्त के लिए रखता है $p$.

हर बोरेल सिद्धांत, गैर-विशिष्ट रूप से, बनाया जा सकता है, तर्कसंगत समापन बिंदुओं के साथ अंतराल से प्रारंभ होता है और पूरक और गणनीय यूनियनों के संचालन को लागू करता है, कई बार। ऐसे निर्माण के रिकॉर्ड को बोरेल कोड कहा जाता है। बोरेल सिद्धांत दिया $B$ में $V$, बोरेल कोड पुनर्प्राप्त करता है, और फिर उसी निर्माण अनुक्रम को लागू करता है $V[G]$, बोरेल सिद्धांत प्राप्त करना $B^{*}$. यह सिद्ध किया जा सकता है कि ही सिद्धांत के निर्माण से स्वतंत्र हो जाता है $B$, और वह मूल गुण संरक्षित हैं। उदाहरण के लिए, यदि $B\subseteq C$, तब $B^{*}\subseteq C^{*}$. यदि $B$ माप शून्य है, फिर $B^{*}$ माप शून्य है। यह मैपिंग $B\mapsto B^{*}$ इंजेक्शन है।

किसी भी सिद्धांत के लिए $B\subseteq [0,1]$ ऐसा है कि $B\in V$ और $V\models$ $B$ माप 1 का बोरेल सिद्धांत है $r\in B^{*}$.

इस का अर्थ है कि $r$ के दृष्टिकोण से 0s और 1s का अनंत यादृच्छिक क्रम है $V$, जिसका अर्थ है कि यह जमीनी प्रारूप से सभी सांख्यिकीय परीक्षणों $V$ को पूरा करता है।

तो दिया $r$, यादृच्छिक वास्तविक, कोई यह दिखा सकता है

$G=\left\{B~({\text{in }}V)\mid r\in B^{*}~({\text{in }}V[G])\right\}.$

के बीच पारस्परिक अंतर-निश्चितता के कारण $r$ और $G$, सामान्यतः लिखता है $V[r]$ के लिए $V[G]$.

में वास्तविक की अलग व्याख्या $V[G]$ दाना स्कॉट द्वारा प्रदान किया गया था। में तर्कसंगत संख्या $V[G]$ ऐसे नाम हैं जो गिनती के अनुरूप हैं - कई अलग-अलग तर्कसंगत मूल्यों को बोरेल सिद्धांत के अधिकतम एंटीचैन को सौंपा गया है - दूसरे शब्दों में, निश्चित तर्कसंगत-मूल्यवान कार्य $I=[0,1]$. में वास्तविक संख्याएँ $V[G]$ फिर ऐसे कार्यों के डेडेकाइंड कट के अनुरूप है, जो औसत दर्जे का कार्य है।

बूलियन-मूल्यवान प्रारूप

Main article: बूलियन-मूल्यवान मॉडल

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

मेटा-गणितीय स्पष्टीकरण

मजबूर करने में, हम सामान्यतः यह दिखाना चाहते हैं कि कुछ वाक्य (गणितीय तर्क) के साथ संगति प्रमाण है ${\mathsf {ZFC}}$ (या वैकल्पिक रूप से कुछ विस्तार ${\mathsf {ZFC}}$). तर्क की व्याख्या करने का विधि यह मान लेना है ${\mathsf {ZFC}}$ सुसंगत है और फिर उसे सिद्ध कीजिए ${\mathsf {ZFC}}$ नए वाक्य के साथ संयुक्त (गणितीय तर्क) भी सुसंगत है।

प्रत्येक स्थिति सूचना का परिमित टुकड़ा है - विचार यह है कि केवल परिमित टुकड़े ही संगति के लिए प्रासंगिक हैं, क्योंकि, कॉम्पैक्टनेस प्रमेय द्वारा, सिद्धांत संतोषजनक है यदि और केवल यदि इसके स्वयंसिद्धों का प्रत्येक परिमित उपसमुच्चय संतोषजनक है। तब हम अपने प्रारूप का विस्तार करने के लिए निरंतर स्थितियों का अनंत सिद्धांत चुन सकते हैं। इसलिए, की निरंतरता मानते हुए ${\mathsf {ZFC}}$, हम की निरंतरता सिद्ध करते हैं ${\mathsf {ZFC}}$ इस अनंत सिद्धांत द्वारा विस्तारित।

तार्किक व्याख्या

गोडेल की दूसरी अपूर्णता प्रमेय द्वारा, कोई भी पर्याप्त रूप से शक्तिशाली औपचारिक सिद्धांत की निरंतरता को सिद्ध नहीं कर सकता है, जैसे कि ${\mathsf {ZFC}}$, सिद्धांत के केवल स्वयंसिद्धों का उपयोग करते हुए, जब तक कि सिद्धांत असंगत न हो। परिणामस्वरूप, गणितज्ञ निरंतरता को सिद्ध करने का प्रयास नहीं करते हैं ${\mathsf {ZFC}}$ के केवल अभिगृहीतों का उपयोग करना ${\mathsf {ZFC}}$, या यह सिद्ध करने के लिए ${\mathsf {ZFC}}+H$ किसी भी परिकल्पना के अनुरूप है $H$ केवल उपयोग करना ${\mathsf {ZFC}}+H$. इस कारण से, संगति प्रमाण का उद्देश्य की संगति को सिद्ध करना है ${\mathsf {ZFC}}+H$ की संगति के सापेक्ष ${\mathsf {ZFC}}$. ऐसी समस्याओं को सापेक्ष संगति की समस्याओं के रूप में जाना जाता है, जिनमें से सिद्ध होती है

$${\mathsf {ZFC}}\vdash \operatorname {Con} ({\mathsf {ZFC}})\rightarrow \operatorname {Con} ({\mathsf {ZFC}}+H).$$

(⁎)

सापेक्ष संगति प्रमाणों की सामान्य स्कीमा इस प्रकार है। जैसा कि कोई भी प्रमाण परिमित है, यह केवल स्वयंसिद्धों की सीमित संख्या का उपयोग करता है:

${\mathsf {ZFC}}+\lnot \operatorname {Con} ({\mathsf {ZFC}}+H)\vdash (\exists T)(\operatorname {Fin} (T)\land T\subseteq {\mathsf {ZFC}}\land (T\vdash \lnot H)).$

किसी दिए गए प्रमाण के लिए, ${\mathsf {ZFC}}$ इस प्रमाण की वैधता को सत्यापित कर सकते हैं। यह प्रमाण की लंबाई पर प्रेरण द्वारा सिद्ध होता है।

${\mathsf {ZFC}}\vdash (\forall T)((T\vdash \lnot H)\rightarrow ({\mathsf {ZFC}}\vdash (T\vdash \lnot H))).$

फिर संकल्प करें

${\mathsf {ZFC}}+\lnot \operatorname {Con} ({\mathsf {ZFC}}+H)\vdash (\exists T)(\operatorname {Fin} (T)\land T\subseteq {\mathsf {ZFC}}\land ({\mathsf {ZFC}}\vdash (T\vdash \lnot H))).$

निम्नलिखित को सिद्ध करके

$${\mathsf {ZFC}}\vdash (\forall T)(\operatorname {Fin} (T)\land T\subseteq {\mathsf {ZFC}}\rightarrow ({\mathsf {ZFC}}\vdash \operatorname {Con} (T+H))),$$

(⁎⁎)

यह निष्कर्ष निकाला जा सकता है

${\mathsf {ZFC}}+\lnot \operatorname {Con} ({\mathsf {ZFC}}+H)\vdash (\exists T)(\operatorname {Fin} (T)\land T\subseteq {\mathsf {ZFC}}\land ({\mathsf {ZFC}}\vdash (T\vdash \lnot H))\land ({\mathsf {ZFC}}\vdash \operatorname {Con} (T+H))),$

जो बराबर है

${\mathsf {ZFC}}+\lnot \operatorname {Con} ({\mathsf {ZFC}}+H)\vdash \lnot \operatorname {Con} ({\mathsf {ZFC}}),$

जो देता है (*)। सापेक्ष संगति प्रमाण का मूल प्रमाण (**) है। ए ${\mathsf {ZFC}}$ का सबूत $\operatorname {Con} (T+H)$ किसी भी परिमित उपसमुच्चय के लिए बनाया जा सकता है $T$ की ${\mathsf {ZFC}}$ सिद्धांत (द्वारा ${\mathsf {ZFC}}$ बेशक उपकरण)। (इसका कोई सार्वभौमिक प्रमाण नहीं है $\operatorname {Con} (T+H)$ बिल्कुल।)

में ${\mathsf {ZFC}}$, यह सिद्ध है कि किसी भी स्थिति के लिए $p$, सूत्रों का सिद्धांत (नामों द्वारा मूल्यांकन) द्वारा मजबूर किया गया $p$ कटौती से बंद है। इसके अतिरिक्त, किसी के लिए ${\mathsf {ZFC}}$ स्वयंसिद्ध, ${\mathsf {ZFC}}$ सिद्ध करता है कि इस स्वयंसिद्ध द्वारा मजबूर किया गया है $\mathbf {1}$. फिर यह सिद्ध करने के लिए पर्याप्त है कि कम से कम शर्त है जो बल देती है $H$.

बूलियन-वैल्यू बल के स्थिति में, प्रक्रिया समान है: यह सिद्ध करना कि बूलियन मान $H$ क्या नहीं है $\mathbf {0}$.

एक अन्य दृष्टिकोण परावर्तन प्रमेय का उपयोग करता है। के किसी भी परिमित सिद्धांत के लिए ${\mathsf {ZFC}}$ स्वयंसिद्ध, है ${\mathsf {ZFC}}$ सबूत है कि स्वयंसिद्धों के इस सिद्धांत में गणनीय सकर्मक प्रारूप है। किसी दिए गए परिमित समुच्चय के लिए $T$ का ${\mathsf {ZFC}}$ अभिगृहीत, परिमित समुच्चय है $T'$ का ${\mathsf {ZFC}}$ सिद्धांत ऐसे हैं ${\mathsf {ZFC}}$ सिद्ध करता है कि यदि गणनीय सकर्मक प्रारूप $M$ संतुष्ट $T'$, तब $M[G]$ संतुष्ट $T$. सिद्ध करके कि परिमित समुच्चय $T''$ का ${\mathsf {ZFC}}$ स्वयंसिद्ध है, जो ऐसे हैं कि यदि गणनीय सकर्मक प्रारूप $M$ संतुष्ट $T''$, तब $M[G]$ परिकल्पना को संतुष्ट करता है, तो $H$ फिर, किसी दिए गए परिमित समुच्चय के लिए $T$ का ${\mathsf {ZFC}}$ स्वयंसिद्ध, ${\mathsf {ZFC}}$ को सिद्ध करता $\operatorname {Con} (T+H)$ है।

कभी-कभी (**) में, शक्तिशाली सिद्धांत $S$ अतिरिक्त ${\mathsf {ZFC}}$ सिद्ध करने के लिए प्रयोग किया जाता है $\operatorname {Con} (T+H)$. तब हमारे पास निरंतरता का प्रमाण है ${\mathsf {ZFC}}+H$ की संगति के सापेक्ष $S$ पर यदि आप ध्यान दें कि ${\mathsf {ZFC}}\vdash \operatorname {Con} ({\mathsf {ZFC}})\leftrightarrow \operatorname {Con} ({\mathsf {ZFL}})$, जहाँ${\mathsf {ZFL}}$ है ${\mathsf {ZF}}+V=L$ (रचनात्मकता का स्वयंसिद्ध) हैं।

यह भी देखें

• विवशता पूर्ण धारणाओं की सूची
• अच्छा नाम

संदर्भ

• Bell, J. L. (1985). Boolean-Valued Models and Independence Proofs in Set Theory, Oxford. ISBN 0-19-853241-5
• Cohen, P. J. (1966). Set theory and the continuum hypothesis. Addison–Wesley. ISBN 978-0-8053-2327-6.
• Grishin, V. N. (2001) [1994], "Forcing Method", Encyclopedia of Mathematics, EMS Press
• Kunen, K. (1980). Set Theory: An Introduction to Independence Proofs. North-Holland. ISBN 978-0-444-85401-8.
• Jech, Thomas (2002). Set Theory: The Third Millennium Edition. Spring-Verlag. ISBN 3-540-44085-2.

बाहरी संबंध

• Gunther, E.; Pagano, M.; Sánchez Terraf, P. Formalization of Forcing in Isabelle/ZF (Formal Proof Development, Archive of Formal Proofs)
• Nik Weaver's book Forcing for Mathematicians was written for mathematicians who want to learn the basic machinery of forcing. No background in logic is assumed, beyond the facility with formal syntax which should be second nature to any well-trained mathematician.
• Timothy Chow's article A Beginner's Guide to Forcing is a good introduction to the concepts of forcing that avoids a lot of technical detail. This paper grew out of Chow's newsgroup article Forcing for dummies Archived 2009-05-06 at archive.today. In addition to improved exposition, the Beginner's Guide includes a section on Boolean-valued models.
• See also Kenny Easwaran's article A Cheerful Introduction to Forcing and the Continuum Hypothesis, which is also aimed at the beginner but includes more technical details than Chow's article.
• Cohen, P. J. The Independence of the Continuum Hypothesis, Proceedings of the National Academy of Sciences of the United States of America, Vol. 50, No. 6. (Dec. 15, 1963), pp. 1143–1148.
• Cohen, P. J. The Independence of the Continuum Hypothesis, II, Proceedings of the National Academy of Sciences of the United States of America, Vol. 51, No. 1. (Jan. 15, 1964), pp. 105–110.
• Paul Cohen gave a historical lecture The Discovery of Forcing (Rocky Mountain J. Math. Volume 32, Number 4 (2002), 1071–1100) about how he developed his independence proof. The linked page has a download link for an open access PDF but your browser must send a referer header from the linked page to retrieve it.
• Akihiro Kanamori: Set theory from Cantor to Cohen
• Weisstein, Eric W. "Forcing". MathWorld.