A Generalization of the Concept of |omega-Consistency.

Leon Henkin A Generalization of the Concept of |omega-Consistency. 183-196 1954 19 J. Symb. Log. 3 db/journals/jsyml/jsyml19.html#Henkin54