Abstract | ||
---|---|---|
We show that b=c=ω3 is consistent with the existence of a Δ31-definable wellorder of the reals and a Π21-definable ω-mad subfamily of [ω]ω (resp. ωω). |
Year | DOI | Venue |
---|---|---|
2011 | 10.1016/j.apal.2011.04.001 | Annals of Pure and Applied Logic |
Keywords | Field | DocType |
03E15,03E20,03E35,03E45 | Discrete mathematics,Combinatorics,Continuum (design consultancy),Projective linear group,Subfamily,Mathematics,Projective test,Projective space | Journal |
Volume | Issue | ISSN |
162 | 11 | 0168-0072 |
Citations | PageRank | References |
4 | 0.57 | 4 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vera Fischer | 1 | 30 | 8.93 |
Sy David Friedman | 2 | 12 | 3.04 |
Lyubomyr Zdomskyy | 3 | 23 | 6.72 |