## Find a copy in the library

Finding libraries that hold this item...

## Details

Document Type: | Book |
---|---|

All Authors / Contributors: |
B Curtis Eaves; Uriel G Rothblum; Stanford University. Systems Optimization Laboratory. |

OCLC Number: | 22043458 |

Notes: | "November 1987." |

Description: | 16 pages ; 28 cm. |

Series Title: | Technical report (Stanford University. Systems Optimization Laboratory), SOL 87-17. |

Responsibility: | by B. Curtis Eaves, Uriel G. Rothblum. |

### Abstract:

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."

## Reviews

*User-contributed reviews*

Add a review and share your thoughts with other readers.
Be the first.

Add a review and share your thoughts with other readers.
Be the first.

## Tags

Add tags for "Elimination of quantifiers of linear variables and corresponding transfer principles".
Be the first.