Omitting types and AF algebras. - Kevin Carlson; Enoch Cheung; Ilijas Farah; Alexander Gerhardt-Bourke; Bradd Hart; Leanne Mezuman; Nigel Sequeira; Alexander Sherman (Arch. Math. Log., 2014)