Martinin aksiooma

Martinin aksiooma - väite riittävistä ehdoista ultrasuodattimen olemassaololle Boolen algebrassa - on seurausta jatkumohypoteesista . Käytetään laajasti yleisessä topologiassa ja joukkoteoriassa .

Lauseke: jos on Boolen algebra , joka täyttää ketjun laskettavuuden ehdon, ja on osajoukkojen perhe, niin että , on olemassa täydellinen ultrasuodatin . ( Osittain järjestetty joukko täyttää ketjujen laskettavuuden, jos jokaisella pareittain yhteensopimattomien elementtien joukolla on laskettavan joukon kardinaliteetti.) $B$ $F$ $B$ $| F | < 2^{\aleph_{0}}$ $F$ $G$ $B$ $( P, < )$ $P$

Kirjallisuus

Yeh T. Joukkoteoria ja pakotusmenetelmä. - M.: Mir, 1973. - S. 101-110;