Iterated reflection principles and the ω-rule (1982)

by U R Schmerl
Venue:Journal Symbolic Logic