Iterated local re ection vs iterated consistency (1994)

by L D Beklemishev