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)

Related topics

Related topics

40 relations
Algorithmically random sequenceAnalytical hierarchyArithmetical setBounded quantifier

Broader (2)

Computability theoryEffective descriptive set theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Extending scalability of IoT/M2M platforms with Fog computing
As more and more IoT/M2M devices are connected to the Internet, the IoT/M2M platforms normally deployed in the Cloud are… 
2010
2010
Identifying new categories in community question answering archives: a topic modeling approach
Community Question Answering (CQA) services have evolved into a popular way of information seeking and providing. User-posted… 
2008
2008
From Segmentation to Binarization of Gray-level Images
For some gray-level images, the boundary between the foreground and the background is perceived in correspondence with the… 
Highly Cited
2006
Highly Cited
2006
An AHP model for construction contractor prequalification
Given that contractor plays a critical role in any construction project, contractor selection constitutes key decision for public… 
2006
2006
Exploring test adequacy for database systems
Database systems are an important asset for many businesses. As such, it is important to test database systems thoroughly, as any… 
2006
2006
Popescu–Rohrlich boxes in quantum measure theory
Two results are proved at the quantal level in Sorkin's hierarchy of measure theories. One is a strengthening of an existing… 
1998
1998
Automated Deduction Techniques for Classification in Description Logic Systems
Mechanical theorem provers are becoming increasingly more powerful, and we believe that it is time to examine whether certain… 
Highly Cited
1996
Highly Cited
1996
On the Structural Positions of Themes and Goals
A central concern of linguistic theory is to account for how the arguments of a given lexical item are associated with positions… 
1996
1996
Reasoning about Sets via Atomic Decomposition
We introduce a new technique that translates cardinality information about nite sets into simple arithmetic terms thereby… 
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… 
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)