Canonical forms for definable subsets of algebraically closed and real closed valued fields
Journal of Symbolic Logic 60 (3):843-860 (1995)
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 formallyDOI
10.2307/2275760
My notes
Similar books and articles
Relative Randomness and Real Closed Fields.Alexander Raichev - 2005 - Journal of Symbolic Logic 70 (1):319 - 330.
Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
The undecidability of intuitionistic theories of algebraically closed fields and real closed fields.Dov M. Gabbay - 1973 - Journal of Symbolic Logic 38 (1):86-92.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
A note on existentially closed difference fields with algebraically closed fixed field.Anand Pillay - 2001 - Journal of Symbolic Logic 66 (2):719-721.
On PAC and Bounded Substructures of a Stable Structure.Anand Pillay & Dominika Polkowska - 2006 - Journal of Symbolic Logic 71 (2):460 - 472.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Existentially closed models of the theory of artinian local rings.Hans Schoutens - 1999 - Journal of Symbolic Logic 64 (2):825-845.
Prototypes for definable subsets of algebraically closed valued fields.Jan E. Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
Analytics
Added to PP
2009-01-28
Downloads
50 (#236,452)
6 months
1 (#448,551)
2009-01-28
Downloads
50 (#236,452)
6 months
1 (#448,551)
Historical graph of 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.
On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields.Will Johnson - 2020 - Notre Dame Journal of Formal Logic 61 (3):363-381.
Definable Functions and Stratifications in Power-Bounded T -Convex Fields.Erick García Ramírez - 2020 - Notre Dame Journal of Formal Logic 61 (3):441-465.
Abelian C-minimal valued groups.F. Delon & P. Simonetta - 2017 - Annals of Pure and Applied Logic 168 (9):1729-1782.
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.