Some applications of infinitely long formulas (0)

by H J 1965b KEISLER
Venue:Journal of Symbolic Logic