Заглавие | Termal Equations and Finite Controllability |
Вид публикация | Journal Article |
Година на публикуване | 2001 |
Автори | Zinoviev A |
Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Том | 93 |
Pagination | 49-54 |
ISSN | 0205-0808 |
ключови думи | finite controllability, finite structure, termal system |
Резюме | The notions termal system and solution of termal system in a structure are givent. It is shown that any unsolvable in some structure termal system is unsolvable in some finite structure as well. Then this result is applied to show the finite controllability of some classes of formulae. |
2000 MSC | 03C13, 03C05 |
Прикачен файл | Размер |
---|---|
93-049-054.pdf | 512.05 KB |