View source for मॉस्कोवैसिस कोडिंग लेम्मा

मॉस्कोवैसिस कोडिंग लेम्मा वर्णनात्मक समुच्चय सिद्धांत से एक [[लेम्मा (गणित)]] है जिसमें नियतत्व के स्वयंसिद्ध के अंतर्गत [[वास्तविक संख्या|वास्तविक संख्याओं]] के समुच्चय सम्मलित होते हैं (सिद्धांत - वरण के साथ असंगत - कि प्रत्येक दो-वादक पूर्णांक खेल निर्धारित होते है)। लेम्मा को विकसित किया गया था और इसका नाम गणितज्ञ यियानिस एन मोस्कोवाकिस के नाम पर रखा गया था।

लेम्मा को सामान्यतः निम्नानुसार व्यक्त किया जा सकता है:
:होने देना {{mvar|Γ}} क्वांटिफायर (तर्क) # क्वांटिफिकेशन की रेंज और के अंतर्गत बंद एक गैर-स्वयं दोहरी बिंदु वर्ग बनें {{math|∧}}, और {{math|≺}} ए {{mvar|Γ}}-अच्छी तरह से स्थापित संबंध {{math|''ω<sup>ω</sup>''}रैंक का {{math|''θ'' ∈ ON}}. होने देना {{math|R ⊆ dom(≺) × ''ω<sup>ω</sup>''}} ऐसा हो {{math|(∀''x''∈dom(≺))(∃''y'')(''x'' R ''y'')}}. फिर एक है {{mvar|Γ}}-तय करना {{math|A ⊆ dom(≺) × ''ω<sup>ω</sup>''}} जो R के लिए एक विकल्प समुच्चय है, वह है:
 <!--Note that the specific numbering of these properties is used in the proof below.-->
# {{math|(∀''α''<''θ'')(∃''x''∈dom(≺),''y'')({{mabs|''x''}}<sub>≺</sub>{{=}}''α'' ∧ ''x'' A ''y'')}}.
# {{math|(∀''x'',''y'')(''x'' A ''y'' → ''x'' R ''y'')}}.
एक प्रमाण इस प्रकार चलता है: विरोधाभास के लिए मान लीजिए {{mvar|θ}} एक न्यूनतम प्रति उदाहरण है, और ठीक करें {{math|≺}}, {{math|R}}, और एक अच्छा सार्वभौमिक समुच्चय {{math|''U'' ⊆ (''ω<sup>ω</sup>'')<sup>3</sup>}} के लिए {{mvar|Γ}}-के उपसमुच्चय {{math|(''ω<sup>ω</sup>'')<sup>2</sup>}}. आसानी से, {{mvar|θ}} एक सीमा क्रमसूचक होना चाहिए।<ref>{{Cite web|url=https://mathoverflow.net/questions/77573/moschovakis-coding-lemma|title=वर्णनात्मक समुच्चय सिद्धांत - मॉस्कोवाकिस कोडिंग लेम्मा|last1=User 16278263789|last2=Schweber|first2=Noah|date=|website=MathOverflow|publication-date=9 October 2011|url-status=live|archive-url=|archive-date=|access-date=2020-04-06}}</ref> के लिए {{math|''δ'' < ''θ''}}, हम कहते हैं {{math|''u'' ∈ ''ω<sup>ω</sup>''}} कोड ए {{mvar|δ}}-चॉइस समुच्चय प्रदान किया गया संपत्ति (1) रखती है {{math|''α'' ≤ ''δ''}} का उपयोग करना {{math|A {{=}} ''U u''}} और संपत्ति (2) के लिए रखती है {{math|A {{=}} ''U u''}} जहां हम प्रतिस्थापित करते हैं {{math|''x'' ∈ dom(≺)}} साथ {{math|''x'' ∈ dom(≺) ∧ {{mabs|''x''}} ≺ [≤''δ'']}}. कम से कम {{mvar|θ}}, सभी के लिए {{math|''δ'' < ''θ''}}, वहाँ हैं {{math|δ}}-विकल्प समुच्चय।

अब, एक खेल खेलें जहाँ खिलाड़ी I, II अंक चुनते हैं {{math|''u'',''v'' ∈ ''ω<sup>ω</sup>''}} और II कब जीतता है {{mvar|u}} कोडिंग ए {{math|''δ''<sub>1</sub>}}-विकल्प कुछ के लिए निर्धारित है {{math|''δ''<sub>1</sub> < ''θ''}} तात्पर्य {{mvar|v}} कोड ए {{math|''δ''<sub>2</sub>}}-विकल्प कुछ के लिए निर्धारित है {{math|''δ''<sub>2</sub> > ''δ''<sub>1</sub>}}. I के लिए एक जीतने की रणनीति परिभाषित करती है {{math|Σ{{su|b=1|p=1}}}} तय करना {{mvar|B}वास्तविक एन्कोडिंग की } {{mvar|δ}}-विकल्प मनमाने ढंग से बड़े के लिए समुच्चय करता है {{math|''δ'' < ''θ''}}. तब परिभाषित करें
:{{math|''x'' A ''y'' ↔ (∃''w''∈''B'')''U''(''w'',''x'',''y'')}},
जो आसानी से काम करता है। दूसरी ओर, मान लीजिए {{mvar|τ}} II के लिए जीतने की रणनीति है। [[एस-एम-एन प्रमेय]] से, चलो {{math|''s'':(''ω<sup>ω</sup>'')<sup>2</sup> → ''ω<sup>ω</sup>''}} निरंतर ऐसा हो कि सभी के लिए {{mvar|ϵ}}, {{mvar|x}}, {{mvar|t}}, और {{mvar|w}}, 
:{{math|''U''(''s''(''ϵ'',''x''),''t'',''w'') ↔ (∃''y'',''z'')(''y'' ≺ ''x'' ∧ ''U''(''ϵ'',''y'',''z'') ∧ ''U''(''z'',''t'',''w''))}}.
पुनरावर्तन प्रमेय द्वारा, मौजूद है {{math|''ϵ''<sub>0</sub>}} ऐसा है कि {{math|''U''(''ϵ''<sub>0</sub>,''x'',''z'') ↔ ''z'' {{=}} ''τ''(''s''(''ϵ''<sub>0</sub>,''x''))}}. एक सीधा इंडक्शन ऑन {{math|{{mabs|''x''}}<sub>≺</sub>}} के लिए {{math|''x'' ∈ dom(≺)}} पता चलता है कि
:{{math|(∀''x''∈dom(≺))(∃!''z'')''U''(''ϵ''<sub>0</sub>,''x'',''z'')}},
और
:{{math|(∀''x''∈dom(≺),''z'')(''U''(''ϵ''<sub>0</sub>,''x'',''z'') → ''z'' encodes a choice set of ordinal ≥{{mabs|x}}<sub>≺</sub>)}}.
तो चलो
:{{math|''x'' A ''y'' ↔ (∃''z''∈dom(≺),''w'')(''U''(''ϵ''<sub>0</sub>,''z'',''w'') ∧ ''U''(''w'',''x'',''y''))}}.<ref>{{cite book
 | last =Babinkostova
 | first =Liljana
 | title =Set Theory and Its Applications
 | publisher =American Mathematical Society
 | date =2011
 | language =English
 | isbn =978-0821848128
}}</ref><ref>{{cite book
 | last1 =Foreman
 | first1 =Matthew
 | author1-link =Matthew Foreman
 | last2 =Kanamori
 | first2 =Akihiro
 | author2-link =Akihiro Kanamori
 | title =Handbook of Set Theory
 | publisher =Springer
 | date =October 27, 2005
 | pages =2230
 | url =http://www.math.unt.edu/~sjackson/papers/strad_27.pdf
 | isbn =978-1402048432
}}</ref><ref>{{cite book
 | last =Moschovakis
 | first =Yiannis
 | contribution =Ordinal games and playful models
 | title = Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79
 | series =Lecture Notes in Mathematics
 |editor1= Alexander S. Kechris |editor2=Donald A. Martin |editor3=Yiannis N. Moschovakis
 | volume =839
 | pages =169–201
 | publisher =Springer
 | location =Berlin
 | date =October 4, 2006
 | isbn =978-3-540-38422-9
 | doi = 10.1007/BFb0090241
 }}</ref>


== संदर्भ ==
{{Reflist}}

{{Set theory}}
[[Category: समुच्चय सिद्धांत के अभिगृहीत]] [[Category: निश्चय]] [[Category: बड़े कार्डिनल्स]] [[Category: सेट थ्योरी में नींबू]] 

{{math-stub}}



[[Category: Machine Translated Page]]
[[Category:Created On 25/05/2023]]