検索結果

'''決定性公理'''（けっていせいこうり、'''{{lang-en-short|axiom of determinacy}}'''、'''AD''' と略される）とは、1962年に{{仮リンク|ミシェルスキー|en|Jan Mycielski}}、{{仮リンク|ユゴー・ス …る。また、十分大きな[[巨大基数]]があるとき、winning set が[[射影集合]]であるゲームは全て決定的であり ([[Projective determinacy]] を参照)、しかも [[L(R)]] において AD が成り立つことが示されている。 …

* {{citation|title=The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal|last=Woodin|first=W. Hugh|year …

パリティゲームは[[ボレル階層]]の3層目に属する。したがってパリティゲームは決定的である。<ref>D. A. Martin: Borel determinacy, The Annals of Mathematics, Vol 102 No. 2 pp. 363&#x2013;371 (1975)</ref> …ef name="EJ">E. A. Emerson and C. S. Jutla: Tree Automata, Mu-Calculus and Determinacy, IEEE Proc. Foundations of Computer Science, pp 368&#x2013;377 (1991), {{IS …

…Welch, [https://people.maths.bris.ac.uk/~mapdw/det17.pdf "Weak Systems of Determinacy and Arithmetical Quasi-Inductive Definitions"] (2010 draft ver., p. 3). Acc …org/journalArticle/Download?urlid=bams%2F1183548432 The Brave New World of Determinacy]" (PDF download). Book review, Bulletin of the American Mathematical Societ …

…xas.edu/users/EWD/ewd04xx/EWD472.PDF | title=EWD472: Guarded commands, non-determinacy and formal. derivation of programs. |accessdate=2006年8月16日 }}</ref> …

…納的に以下のように定義される:<ref>D. Martin, [https://www.jstor.org/stable/1971035 Borel Determinacy], Annals of Mathematics vol. 102, pp.363--371 (1975)</ref> …

<math>\mathcal{W}</math> をどのようにとっても <math>Q</math> が勝てる{{仮リンク|決定性|en|Determinacy|label=必勝戦略}}があるとき、またそのときに限り <math>X</math> は痩集合である。}} …

…ir existence has many ramifications for the structure of the real line. ''Determinacy'' refers to the possible existence of winning strategies for certain two-pl …

…つは、ZF + ADから得られる多くの結果を、巨大基数公理を加えたZFCで得られることにある（{{仮リンク|射影的決定性|en|projective determinacy}}を参照）。 [[Mizar|Mizarシステム]]と{{仮リンク|Metamath|en|Metamath}}は、ZFCの拡張である{{仮リンク|タ …