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

Related topics

Related topics

39 relations
Algorithmically random sequenceAnalytical hierarchyArithmetical setBounded quantifier
(More)

Broader (2)

Computability theoryEffective descriptive set theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
A characterization of the arithmetical hierarchy by language equations
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
An arithmetical hierarchy of the law of excluded middle and related principles
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 and Arithmetical Hierarchy III
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
Hierarchical Reinforcement Learning with the MAXQ Value Function Decomposition
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
Achilles and the Tortoise Climbing up the Hyper-Arithmetical Hierarchy
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
The Arithmetical Hierarchy of Real Numbers
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
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy
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
A Revision-Theoretic Analysis of the Arithmetical Hierarchy
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
An Arithmetical Hierarchy in Propositional Dynamic Logic
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
Arithmetical Hierarchy and Complexity of Computation
Various sets of Turing machines naturally occurring in the theory of computational complexity are shown to be complete on the… (More)
Is this relevant?