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 formally
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2307/2275760 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
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.
Citations of this work BETA
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.
A criterion for uniform finiteness in the imaginary sorts.Will Johnson - 2022 - Archive for Mathematical Logic 61 (3):583-589.
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.
View all 6 citations / Add more citations
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 index
2009-01-28
Total views
50 ( #226,725 of 2,507,093 )
Recent downloads (6 months)
2 ( #277,393 of 2,507,093 )
2009-01-28
Total views
50 ( #226,725 of 2,507,093 )
Recent downloads (6 months)
2 ( #277,393 of 2,507,093 )
How can I increase my downloads?
Downloads