A Finite Combinatorial Principle Which is Equivalent to the 1-Consistency of Predicative Analysis (1982)

by Harvey Friedman, Kenneth McAloon, Stephen Simpson
Venue:in G. Metakides ed. Patras Logic Symposium