Merkliste 
 1 Ergebnisse 
 
1

A tree analysis of unprovable combinatorial statements:

, In: Lecture Notes in Mathematics; Model Theory of Algebra and Arithmetic,
Mills, George - p. 248-311 , 1980