On some definable sets over fields with analytic structure

Annals of Pure and Applied Logic 161 (4):599-616 (2010)
  Copy   BIBTEX

Abstract

We discover geometric properties of certain definable sets over non-Archimedean valued fields with analytic structures. Results include a parameterized smooth stratification theorem and the existence of a bound on the piece number of fibers for these sets. In addition, we develop a dimension theory for these sets and also for the formulas which define them

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2009.09.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

Similar books and articles

Topological properties of sets definable in weakly o-minimal structures.Roman Wencel - 2010 - Journal of Symbolic Logic 75 (3):841-867.
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure.Yalin Firat Çelikler - 2007 - Mathematical Logic Quarterly 53 (3):237-246.
Presburger sets and p-minimal fields.Raf Cluckers - 2003 - Journal of Symbolic Logic 68 (1):153-162.
On enveloping type-definable structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
Prototypes for definable subsets of algebraically closed valued fields.Jan E. Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
Motives for perfect PAC fields with pro-cyclic Galois group.Immanuel Halupczok - 2008 - Journal of Symbolic Logic 73 (3):1036-1050.
Cell decomposition for semibounded p-adic sets.Eva Leenknegt - 2013 - Archive for Mathematical Logic 52 (5-6):667-688.
Groups, group actions and fields definable in first‐order topological structures.Roman Wencel - 2012 - Mathematical Logic Quarterly 58 (6):449-467.
A version of p-adic minimality.Raf Cluckers & Eva Leenknegt - 2012 - Journal of Symbolic Logic 77 (2):621-630.
A Note on Defining Transcendentals in Function Fields.Arno Fehm & Wulf-Dieter Geyer - 2009 - Journal of Symbolic Logic 74 (4):1206 - 1210.
Unexpected imaginaries in valued fields with analytic structure.Deirdre Haskell, Ehud Hrushovski & Dugald Macpherson - 2013 - Journal of Symbolic Logic 78 (2):523-542.
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
On Metric Types That Are Definable in an O-Minimal Structure.Guillaume Valette - 2008 - Journal of Symbolic Logic 73 (2):439 - 447.

Analytics

Added to PP
2013-12-18

Downloads
82 (#200,969)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

One-dimensional fibers of rigid subanalytic sets.L. Lipshitz & Z. Robinson - 1998 - Journal of Symbolic Logic 63 (1):83-88.
One-Dimensional Fibers of Rigid Subanalytic Sets.L. Lipshitz & Z. Robinson - 1998 - Journal of Symbolic Logic 63 (1):83-88.

Add more references