Authors: | Tanović, Predrag | Title: | A note on countable models of 1-based theories | Journal: | Archive for Mathematical Logic | Volume: | 41 | Issue: | 7 | First page: | 669 | Last page: | 671 | Issue Date: | 1-Jan-2002 | Rank: | M22 | ISSN: | 0933-5846 | DOI: | 10.1007/s001530100116 | Abstract: | We prove that the existence of a nonisolated type having a finite domain and which is orthogonal to φ in a 1-based theory implies that it has a continuum nonisomorphic countable models. |
Publisher: | Springer Link |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.