登入選單

返回Google圖書搜尋

Elimination of Quantifiers of Linear Variables and Corresponding Transfer Principles

B. Curtis EavesStanford University. Systems Optimization LaboratoryUriel G. Rothblum

出版	Stanford University, Department of Operations Research, Systems Optimization Laboratory, 1987
URL	http://books.google.com.hk/books?id=8NwEAAAAIAAJ&hl=&source=gbs_api

註釋

Abstract: "Given a first order formula for ordered fields whose quantified variables are linear with respect to each other, we show how to eliminate the quantifiers and obtain a quantifier-free formula that is equivalent to the original one over all ordered fields. The result parallels Tarski's Theorem that concerns the elimination of quantifiers for first order formula for ordered fields applied to real closed fields. Like Tarski's Theorem, our results yield transfer principles for drawing conclusions in one ordered field that are established for another. Applications of this transfer principle are discussed."