Incompactness in languages with infinitely long expressions (0)

by W Hanf
Venue:Fund. Math