登入
選單
返回
Google圖書搜尋
Elimination of Quantifiers of Linear Variables and Corresponding Transfer Principles
B. Curtis Eaves
Stanford University. Systems Optimization Laboratory
Uriel 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."