Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
We present an approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semi definite… 
Highly Cited
2006
Highly Cited
2006
  • J. Urban
  • Journal of automated reasoning
  • 2006
  • Corpus ID: 21315287
This paper describes the second version of the Mizar Problems for Theorem Proving (MPTP) system and first experimental results… 
Highly Cited
2003
Highly Cited
2003
Contents: G. Hatano, Foreword. A.J. Baroody, A. Dowker, Preface. A.J. Baroody, The Development of Adaptive Expertise and… 
Highly Cited
1999
Highly Cited
1999
  • S. G. Simpson
  • Perspectives in Mathematical Logic
  • 1999
  • Corpus ID: 116890781
List of tables Preface Acknowledgements 1. Introduction Part I. Development of Mathematics within Subsystems of Z2: 2. Recursive… 
Highly Cited
1999
Highly Cited
1999
This paper presents a new approach to hierarchical reinforcement learning based on decomposing the target Markov decision process… 
Highly Cited
1999
Highly Cited
1999
A real number is computable if it is the limit of an effectively converging computable sequence of rational numbers, and left… 
Highly Cited
1993
Highly Cited
1993
(1.1) a1x1 + . . .+ akxk = b with x1, . . . , xk in a prescribed set of integers. We saw that the vanishing of the constant term… 
Highly Cited
1993
Highly Cited
1993
Starting from an identification of infinite computations with ω-words, we present a framework in which different classification… 
Review
1984
Review
1984
The ancient study of the residue numbering system, or RNS, begins with a verse from a third-century book, Suan-ching, by Sun Tzu… 
Highly Cited
1976
Highly Cited
1976