| Title | Termal Equations and Finite Controllability |
| Publication Type | Journal Article |
| Year of Publication | 2001 |
| Authors | Zinoviev A |
| Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Volume | 93 |
| Pagination | 49-54 |
| ISSN | 0205-0808 |
| Keywords | finite controllability, finite structure, termal system |
| Abstract | 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 |
| Attachment | Size |
|---|---|
 93-049-054.pdf | 512.05 KB |