Jump to content

Talk:Martin's axiom

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

MA(2^Aleph0) vs MA(c)

[edit]

Why does the section on the statement of the axiom talk about both and ? They are always the same, aren't they? -- Jitse Niesen (talk) 21:53, 16 July 2008 (UTC)[reply]

[edit]

I want to add a link to Robert M. Solovay in the first sentence, but I'm afraid of messing up the "authorlink" syntax, which I don't understand. Set theorist (talk) 05:18, 17 June 2010 (UTC)[reply]

Did you see the documentation of the citation template at Template:harvs? — Tobias Bergemann (talk) 12:41, 17 June 2010 (UTC)[reply]
Thanks very much, Tobias! I'm new at this and didn't realize how templates work. Now I know. Much appreciated. Set theorist (talk) 22:23, 17 June 2010 (UTC)[reply]

MA(ℵ1) and ω1-Borel hierarchy

[edit]

MA(ℵ1) implies that the ω1-Borel hierarchy of subsets of {0,1}ω does not collapse before the stage ω2. See Theorem 2 of this link, and also this MSE question. 129.104.241.193 (talk) 00:18, 9 May 2024 (UTC)[reply]