Mellor, Tim (2006) Imaginaries in real closed valued fields. ANNALS OF PURE AND APPLIED LOGIC, 139 (1-3). pp. 230-279. ISSN 0168-0072,
Full text not available from this repository. (Request a copy)Abstract
The paper shows elimination of imaginaries for real closed valued fields to suitable sorts. We also show that this result is in some sense optimal. The paper includes a quantifier elimination theorem for real closed valued fields in a language with sorts for the field, value group and residue field. (c) 2005 Elsevier B.V. All rights reserved.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | RINGS; real closed valued fields; imaginaries; quantifier elimination |
| Subjects: | 500 Science > 510 Mathematics |
| Divisions: | Mathematics |
| Depositing User: | Dr. Gernot Deinzer |
| Date Deposited: | 15 Feb 2021 08:55 |
| Last Modified: | 15 Feb 2021 08:55 |
| URI: | https://pred.uni-regensburg.de/id/eprint/34554 |
Actions (login required)
 |
View Item |
