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

Links

PhilArchive



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

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

The laws of integer divisibility, and solution sets of linear divisibility conditions.L.den Dries & A. J. Wilkie - 2003 - Journal of Symbolic Logic 68 (2):503 - 526.
A proof-theoretic characterization of the primitive recursive set functions.Michael Rathjen - 1992 - Journal of Symbolic Logic 57 (3):954-969.
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
Presburger sets and p-minimal fields.Raf Cluckers - 2003 - Journal of Symbolic Logic 68 (1):153-162.
Witnessing functions in bounded arithmetic and search problems.Mario Chiari & Jan Krajíček - 1998 - Journal of Symbolic Logic 63 (3):1095-1115.
Definability and decidability issues in extensions of the integers with the divisibility predicate.Patrick Cegielski, Yuri Matiyasevich & Denis Richard - 1996 - Journal of Symbolic Logic 61 (2):515-540.
Probability functions: The matter of their recursive definability.Hugues Leblanc & Peter Roeper - 1992 - Philosophy of Science 59 (3):372-388.
A definable nonstandard model of the reals.Vladimir Kanovei & Saharon Shelah - 2004 - Journal of Symbolic Logic 69 (1):159-164.
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.

Analytics

Added to PP
2009-01-28

Downloads
70 (#225,606)

6 months
6 (#431,022)

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