Omitting types, type spectrums, and decidability (0)

by T S Millar
Venue:J. Symbolic Logic