|
|||||
|
|
The adequacy condition as a definition of elementary interpretation |
|
| Authors: | Adam Gajda |
| Affiliation: | (1) Bia!["lstrok"]("/content/u02163126633j035/xlarge322.gif") ystok Branch Institute of Mathematics, Warsaw University, 15-267 Biaystok |
| Abstract: | A definition of elementary interpretation, equivalent (up to isomorphisms) to the ones of [3] and [4], is given. The defining condition, used here, seems to confirm that intuitions agree with the choice of the class of elementary interpretations, which was done in [3]. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |