Arithmetical hierarchy

Known as: Pi-0-1 sentences, Arithmetical reducibility, AH (complexity) 
In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene–Mostowski hierarchy classifies certain sets based on the complexity… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
Language equations with all Boolean operations and concatenation and a particular order on the set of solutions are proved to be… (More)
  • figure 1
  • figure 2
Is this relevant?
2004
2004
The topic of this paper is relative constructivism. We are concerned with classifying nonconstructive principles from the… (More)
Is this relevant?
2001
2001
Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper presents a new approach to hierarchical reinforcement learning based on decomposing the target Markov decision process… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1999
1999
We pursue the study of the computational power of Piecewise Constant Derivative PCD systems started in PCD systems are dynamical… (More)
Is this relevant?
1999
1999
A real number is computable if it is the limit of an effectively converging computable sequence of rational numbers, and left… (More)
Is this relevant?
1995
1995
In this paper we show how to construct for every set P of integers in the arithmetical hierarchy a dynamical system H with… (More)
Is this relevant?
1994
1994
In this paper we apply the idea of Revision Rules, originally developed within the framework of the theory of truth and later… (More)
Is this relevant?
1989
1989
Propositional dynamic logic (PDL), as introduced by Fischer and Ladner (1979) is the propositional part of the dynamic logic of… (More)
Is this relevant?
1979
1979
Various sets of Turing machines naturally occurring in the theory of computational complexity are shown to be complete on the… (More)
Is this relevant?