Article ID Journal Published Year Pages File Type
6424849 Annals of Pure and Applied Logic 2011 10 Pages PDF
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
, , ,