Search

Your search keyword '"Real closed valued fields"' showing total 1 results
Start Over Descriptor "Real closed valued fields" Journal annals of pure & applied logic
1 results on '"Real closed valued fields"'

1. Imaginaries in real closed valued fields

Author

Mellor, T.

Subjects
*MATHEMATICAL logic, *ARITHMETIC, *MATHEMATICS, *SCIENCE
Abstract

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. [Copyright &y& Elsevier]

Published
2006
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results