Projective mad families

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

• Type: Journal
• Year: 2010
• Where: APAL
• Authors: Sy-David Friedman, Lyubomyr Zdomskyy
• Keywords: APAL 2010, Definable -mad Family, Infinite Subsets