Barwise: infinitary logic and admissible sets (0)

by H J Keisler, J F Knight
Venue:Bull. Symbolic Logic