Termal Equations and Finite Controllability

Заглавие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
Pagination49-54
ISSN0205-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

Прикачен файлРазмер
PDF icon 93-049-054.pdf512.05 KB