ω-soddisfacibilità e teoremi di interpolazione