On sets ∀-definable from Pfaffian functions

Journal of Symbolic Logic 57 (2):688-697 (1992)
  Copy   BIBTEX

Abstract

We prove the existence of a bound to the number of components of an ∀-definable set in the reals, using Pfaffian functions, and give some applications

Categories

Keywords

Reprint years

DOI

10.2307/2275301

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,154

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

Mildness and the Density of Rational Points on Certain Transcendental Curves.G. O. Jones, D. J. Miller & M. E. M. Thomas - 2011 - Notre Dame Journal of Formal Logic 52 (1):67-74.
An effective version of Wilkie's theorem of the complement and some effective o-minimality results.Alessandro Berarducci & Tamara Servi - 2004 - Annals of Pure and Applied Logic 125 (1-3):43-74.
A definable nonstandard model of the reals.Vladimir Kanovei & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (1):159-164.
On definable Skolem functions in weakly o-minimal nonvaluational structures.Pantelis E. Eleftheriou, Assaf Hasson & Gil Keren - 2017 - Journal of Symbolic Logic 82 (4):1482-1495.
Cell decomposition and classification of definable sets in p-optimal fields.Luck Darnière & Immanuel Halpuczok - 2017 - Journal of Symbolic Logic 82 (1):120-136.
Interpretable Sets in Dense o-Minimal Structures.Will Johnson - 2018 - Journal of Symbolic Logic 83 (4):1477-1500.
Σ1(κ)-definable subsets of H.Philipp Lücke, Ralf Schindler & Philipp Schlicht - 2017 - Journal of Symbolic Logic 82 (3):1106-1131.
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
An approximate Herbrand’s theorem and definable functions in metric structures.Isaac Goldbring - 2012 - Mathematical Logic Quarterly 58 (3):208-216.

Analytics

Added to PP
2009-01-28

Downloads
88 (#235,722)

6 months
13 (#242,872)

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

No references found.

Add more references