Аннотация
For constructing an enrichment of the language with restricted quantifiers, we extend the construction of conditional terms. We show that the so-obtained extension of the language of formulas with restricted quantifiers over structures with hereditary finite lists is a conservative enrichment.
Язык оригинала | английский |
---|---|
Страницы (с-по) | 794-800 |
Число страниц | 7 |
Журнал | Siberian Mathematical Journal |
Том | 58 |
Номер выпуска | 5 |
DOI | |
Состояние | Опубликовано - 1 сен 2017 |