決定公理
在數學上，決定公理（Axiom of determinacy，常記做AD）是一個在1962年由和所提出的可能的集合論公理，這公理探討的是特定類型且長度為ω的二人，而決定公理聲稱，任何這類的遊戲都是，也就是這兩個玩家中其中一人有必勝策略。 他們發展出決定公理的動機是這公理的有趣結果，他們並指出這公理可在集合論的最小自然模型中成立，這模型只接受較弱版本的選擇公理，但包括了所有的實數和序數。決定公理的一些結果，可由早前由斯特凡·巴拿赫、以及莫…
标签：#集合論公理
共 2 篇文章
馬丁公理
在數學的集合論中，馬丁公理（Martin's axiom）是一個由和引進的公理，這公理獨立於慣常的、帶有選擇公理的策梅洛-弗蘭克爾集合論（ZFC）。這公理在連續統假設成立的狀況下成立，但也與否定連續統假設的ZFC公理系統相容。 用較不正式的講法，馬丁公理講的是任何小於連續統\mathfrak c的基數，其行為會與\aleph_0大體類似。這公理背後的想法可藉由研究羅修娃－西葛斯基引理的證明得知；而這是用以控制特定力迫論證的其中一個原則。…