Sciweavers

APAL
2006
113views more  APAL 2006»
13 years 11 months ago
Coding by club-sequences
Given any subset A of 1 there is a proper partial order which forces that the predicate x A and the predicate x 1\A can be expressed by ZFC
David Asperó