Termal Equations and Finite Controllability

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.