Article ID Journal Published Year Pages File Type
4662668 Annals of Pure and Applied Logic 2010 7 Pages PDF
Abstract

Using almost disjoint coding we prove the consistency of the existence of a definable ω-mad family of infinite subsets of ω (resp. functions from ω to ω) together with b=2ω=ω2.

Related Topics
Physical Sciences and Engineering Mathematics Logic