Consistency theorems
1980 ◽
pp. 84-105