Akademik Veri Yönetim Sistemi
Bulletin of the Section of Logic, cilt.39, sa.3-4, ss.107-122, 2010 (Scopus)
Vaught's theorem says that if T is a countable atomic first order theory, then T has an atomic model. Let Ln denote the finite variable fragment of first order logic with n variables. We show that a strong form of Vaught's theorem holds for L2 while it fails for Ln when n > 2. An analogous result is proved for the finite variable fragments without equality.