|
|||||
|
|
Theories with constants and three countable models |
|
| Authors: | Predrag Tanović |
| Institution: | (1) Matematički Institut SANU, Knez Mihajlova 35, 11001 Beograd, Serbia |
| Abstract: | We prove that a countable, complete, first-order theory with infinite dcl( ) and precisely three non-isomorphic countable models interprets a variant of Ehrenfeucht’s or Peretyatkin’s example. |
| Keywords: | Primary 03C15 |
| 本文献已被 SpringerLink 等数据库收录！ | |