Omitting types for infinitary [0, 1]-valued logic (0)

by C Eagle
Venue:Annals of Pure and Applied Logic