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? &mdash; 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(ℵ1) and ω1-Borel hierarchy
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)