Abstract:In this note, we discuss matrices over a formally real field with core which are positive definite with respect to a core of the rational function field of m variables. By introducing some concepts, we show the three theorems. Finally we intestigate conne