Consistency and games - in search of new combinatorial principles (2006)

by P Pudlák
Venue:Logic Colloquium ’03, number 24 in Lecture Notes in Logic