Talk:Martin's axiom

MA(2^Aleph0) vs MA(c)

Why does the section on the statement of the axiom talk about both $MA(2^{\aleph _{0}})$ and $MA({\mathfrak {c}})$? They are always the same, aren't they? -- Jitse Niesen (talk) 21:53, 16 July 2008 (UTC)

Link to Solovay

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)

Did you see the documentation of the citation template at Template:harvs? — Tobias Bergemann (talk) 12:41, 17 June 2010 (UTC)

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)

MA(ℵ₁) and ω₁-Borel hierarchy

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