|
|||||
|
|
The non-definability notion and first order logic |
|
| Authors: | Michal Krynicki |
| Affiliation: | (1) Institute of mathematics, University of Warsaw, 00-901 Warsaw, PKin IXp., Poland |
| Abstract: | The theorem to the effect that the languageL introduced in [2] is mutually interpretable with the first order language is proved. This yields several model-theoretical results concerningL. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |