O-minimal analytic separation of sets in dimension 2

Annals of Pure and Applied Logic 157 (2-3):130-138 (2009)
  Copy   BIBTEX

Abstract

We study the Hardy field associated with an o-minimal expansion of the real numbers. If the set of analytic germs is dense in the Hardy field, then we can definably analytically separate sets in , and we can definably analytically approximate definable continuous unary functions. A similar statement holds for definable smooth functions

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2008.09.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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.
Presburger sets and p-minimal fields.Raf Cluckers - 2003 - Journal of Symbolic Logic 68 (1):153-162.
Expansions of the real field by open sets: definability versus interpretability.Harvey Friedman, Krzysztof Kurdyka, Chris Miller & Patrick Speissegger - 2010 - Journal of Symbolic Logic 75 (4):1311-1325.
Immunity and Hyperimmunity for Sets of Minimal Indices.Frank Stephan & Jason Teutsch - 2008 - Notre Dame Journal of Formal Logic 49 (2):107-125.
Geometric properties of semilinear and semibounded sets.Jana Maříková - 2006 - Mathematical Logic Quarterly 52 (2):190-202.
Ultrafilters and non-Cantor minimal sets in linearly ordered dynamical systems.M. Hrušák, M. Sanchis & Á Tamariz-Mascarúa - 2008 - Archive for Mathematical Logic 47 (3):193-203.
Connectivity properties of dimension level sets.Jack H. Lutz & Klaus Weihrauch - 2008 - Mathematical Logic Quarterly 54 (5):483-491.
Random closed sets viewed as random recursions.R. Daniel Mauldin & Alexander P. McLinden - 2009 - Archive for Mathematical Logic 48 (3-4):257-263.
Three separation theses.James Morauta - 2004 - Law and Philosophy 23 (2):111-135.
Dimension Theory and Parameterized Normalization for D-Semianalytic Sets over Non-Archimedean Fields.Y. Firat Çelikler - 2005 - Journal of Symbolic Logic 70 (2):593 - 618.
On the weak Kleene scheme in Kripke's theory of truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
Pseudoprojective strongly minimal sets are locally projective.Steven Buechler - 1991 - Journal of Symbolic Logic 56 (4):1184-1194.
Separation and weak könig's lemma.A. James Humphreys & Stephen G. Simpson - 1999 - Journal of Symbolic Logic 64 (1):268-278.

Analytics

Added to PP
2013-12-22

Downloads
15 (#951,632)

6 months
4 (#798,951)

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

Expansions of the real field with power functions.Chris Miller - 1994 - Annals of Pure and Applied Logic 68 (1):79-94.
O -minimal Λ m -regular stratification.Andreas Fischer - 2007 - Annals of Pure and Applied Logic 147 (1):101-112.
On defining c∞.A. J. Wilkie - 1994 - Journal of Symbolic Logic 59 (1):344 -.

Add more references