Skip to search formSkip to main contentSkip to account menu

Existential theory of the reals

In mathematical logic, computational complexity theory, and computer science, the existential theory of the reals is the set of all true sentences of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

35 relations
AlgorithmAsymptotic computational complexityComplete (complexity)Complexity class

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
A constructive Knaster-Tarski proof of the uncountability of the reals
We give an uncountability proof of the reals which relies on their order completeness instead of their sequential completeness… 
2017
2017
The Lived Experience of Intersectionality Among African American Women with Breast Cancer
African American women (AAW) continue to have breast cancer mortality rates that are 42% higher than White women (De Santis et al… 
2015
2015
Trabalho e vida de mulheres catadoras: (re) construindo novas cartografias existenciais (Work and life of female waste pickers: (re) constructing new existential cartographies) Doi: 10.5212…
Resumo: Neste artigo, objetivamos destacar as acoes, rupturas, permanencias e resistencias de generos e de poder no contexto de… 
2014
2014
ug 2 01 4 Mass problems and intuitionistic higher-order logic
In this paper we study a model of intuitionistic higher-order logic which we call the Muchnik topos. The Muchnik topos may be… 
2008
2008
Ecient Computation with Dedekind Reals
  • Andrej Bauer
  • 2008
  • Corpus ID: 123213957
Cauchy’s construction of reals as sequences of rational approximations is the theoretical basis for a number of implementations… 
2006
2006
Reasoning by Analogy in Description Logics Through Instance-based Learning
This work presents a method founded in instancebased learning for inductive (memory-based) reasoning on ABoxes. The method, which… 
2003
2003
Pastoral Care, Existential Health, and Existential Epiddemiology
Volume explores theoretical and meta-theoretical constructions of pastoral care in light of Sweden in the beginning of the 21st… 
1995
1995
Contributions to a Theory of Existential Termination for Definite Logic Programs
We suggest a new formalization of the existential termination problem of logic programs under the PROLOG leftmost selection rule… 
1991
1991
Existential Maritimer: Alistair Macleod's The Lost Salt Gift of Blood
Alistair MacLeod's The Lost Salt Gift of Blood is both regional and rural, but MacLeod's achievement as a realistic Maritime… 
1987
1987
The Complexity of Antidifferentiation, Denjoy Totalization, and Hyperarithmetic Reals
We consider real functions on the interval [0, 1]. Denote by Δ the set of derivatives; i.e., Δ = {ƒ:ƒ is a derivative} = {ƒ : ∃F… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)