Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6424849 | Annals of Pure and Applied Logic | 2011 | 10 Pages |
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. ÏÏ).
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Vera Fischer, Sy David Friedman, Lyubomyr Zdomskyy,