|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Logical Theories of One-Place Functions on the Set of Natural Numbersстатья
Информация о цитировании статьи получена из
Web of Science
Дата последнего поиска статьи во внешних источниках: 9 июня 2015 г.
- Автор: Semenov Alexei
- Журнал: Mathematics of the USSR - Izvestiya
- Том: 22
- Номер: 3
- Год издания: 1984
- Первая страница: 587
- Последняя страница: 618
- DOI: 10.1070/IM1984v022n03ABEH001456
- Аннотация: In this paper the author studies the decision problem for logical languages intended to describe the properties of one-place functions f on the set N of natural numbers. For functions f taking a finite number of values a criterion for decidability of the monadic theory of the structure ⟨N;<=,f⟩ is obtained. For a large class of monotone functions f, conditions are found under which the elementary theory of the structure ⟨N;<=,f⟩ is decidable; corresponding conditions are also found for structures of the form ⟨N;+,f⟩.
- Добавил в систему: Золин Евгений Евгеньевич