Jeśli CCC oznacza klasę wszystkich porządków częściowych spełniających ccc, to wprowadzony wcześniej aksjomat Martina oznacza Aksjomat był uogólniony przez Saharona Szelacha do PFASzelach, Saharon: Proper forcing. „Lecture Notes in Mathematics”, 940. Springer-Verlag, Berlin-New York, 1982. ., aksjomatu, który również jest wspomnianej powyżej postaci i także jest niezależny od aksjomatów ZFC. Wśród aksjomatów forsingowych PFA jest drugim co do popularności w matematyce (po MA).
W literaturze matematycznej istnieją pewne rozbieżności, jeśli chodzi o terminologię związaną z aksjomatami forsingowymi. Niektórzy autorzy rezerwują nazwę aksjomat Martina i symbol dla a dla pozostałych przypadków używają oznaczenia Istnieją również pewne niekonsekwencje w formułowaniu definicji i roli liczby Czasami jest rozumiany jako tzn. postulat istnienia filtru przecinającego zadane zbiorów gęstych.
Zobacz też aksjomaty Zermela-Fraenkla forsing hipoteza continuum (CH) lemat Bootha PFA (aksjomat) proper forsing teoria mnogości
Uwagi
Przypisy
Kategoria:Forsing Martina