Canonical forms for definable subsets of algebraically closed and real closed valued fields

Journal of Symbolic Logic 60 (3):843-860 (1995)
  Copy   BIBTEX

Abstract

We present a canonical form for definable subsets of algebraically closed valued fields by means of decompositions into sets of a simple form, and do the same for definable subsets of real closed valued fields. Both cases involve discs, forming "Swiss cheeses" in the algebraically closed case, and cuts in the real closed case. As a step in the development, we give a proof for the fact that in "most" valued fields F, if f(x),g(x) ∈ F[ x] and v is the valuation map, then the set {x : v(f(x)) ≤ v(g(x))} is a Boolean combination of discs; in fact, it is a finite union of Swiss cheeses. The development also depends on the introduction of "valued trees", which we define formally

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
50 (#236,452)

6 months
1 (#448,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Imaginaries in real closed valued fields.Timothy Mellor - 2006 - Annals of Pure and Applied Logic 139 (1):230-279.
Grothendieck rings of theories of modules.Amit Kuber - 2015 - Annals of Pure and Applied Logic 166 (3):369-407.
Abelian C-minimal valued groups.F. Delon & P. Simonetta - 2017 - Annals of Pure and Applied Logic 168 (9):1729-1782.

View all 6 citations / Add more citations

References found in this work

Real closed rings II. model theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.
Cell decompositions of C-minimal structures.Deirdre Haskell & Dugald Macpherson - 1994 - Annals of Pure and Applied Logic 66 (2):113-162.
Complete Theories.Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.

Add more references