Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,608,996 papers from all fields of science
Search
Sign In
Create Free Account
Arithmetical hierarchy
Known as:
Pi-0-1 sentences
, Arithmetical reducibility
, AH (complexity)
Expand
In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene–Mostowski hierarchy classifies certain sets based on the complexity…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
40 relations
Algorithmically random sequence
Analytical hierarchy
Arithmetical set
Bounded quantifier
Expand
Broader (2)
Computability theory
Effective descriptive set theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Limitation of the BLR testing in estimating nonlinearity ( Extended Abstract )
Debajyoti Bera
,
S. Maitra
,
Dibyendu Roy
,
P. Stănică
2019
Corpus ID: 189808760
In this paper we concentrate on a limitation of the BLR (Blum-Luby-Rubinfeld) linearity test on a Boolean function f , which…
Expand
2014
2014
Operations on a Wadge-Type Hierarchy of Ordinal-Valued Functions
Alexander C. Block
,
J. Szymanik
,
B. V. D. Berg
,
N. Bezhanishvili
,
Y. Khomskii
2014
Corpus ID: 123379567
In this thesis we investigate – under the assumption of the Axiom of Determinacy (AD) – the structure of the hierarchy of regular…
Expand
2010
2010
Identifying new categories in community question answering archives: a topic modeling approach
Yajie Miao
,
Chunping Li
,
Jie Tang
,
Lili Zhao
International Conference on Information and…
2010
Corpus ID: 6986525
Community Question Answering (CQA) services have evolved into a popular way of information seeking and providing. User-posted…
Expand
2010
2010
ARITHMETICAL PARAPHRASES
E. Bell
2010
Corpus ID: 38290109
(2) gitl,b, ••', £r\), Ä(|lJi, 1}2, •••, TJ.) exist and are determinate for all integral values of the x, y in £, 77 respectively…
Expand
2008
2008
From Segmentation to Binarization of Gray-level Images
Maria Frucci
2008
Corpus ID: 17970005
For some gray-level images, the boundary between the foreground and the background is perceived in correspondence with the…
Expand
Review
2005
Review
2005
Spatial aspects of managing natural resources and conserving biodiversity. Integrating the global and the local
J. Linnell
2005
Corpus ID: 54946326
Linnell, J. D. C. 2005. Spatial aspects of managing natural resources and conserving biodiversity. Integrating the global and the…
Expand
2004
2004
A hierarchy of mildly context sensitive dependency grammar
Anssi Yli-Jyrä
2004
Corpus ID: 9086568
The paper presents Colored Multiplanar Link Grammars (CMLG). These grammars are reducible to extended right-linear S-grammars…
Expand
1999
1999
Fragments by Ramanujan on Lambert series
B. Berndt
1999
Corpus ID: 125588977
In a fragment published with his lost notebook 25, pp. 353{355], Ramanujan provided a list of twenty identities involving Lambert…
Expand
1994
1994
A Revision-Theoretic Analysis of the Arithmetical Hierarchy
G. A. Antonelli
Notre Dame J. Formal Log.
1994
Corpus ID: 1437422
In this paper we apply the idea of Revision Rules, originally developed within the framework of the theory of truth and later…
Expand
1989
1989
Decidability, Recursive Enumerability and Kleene Hierarchy For L-Subsets
L. Biacino
,
Giangiacomo Gerla
Mathematical Logic Quarterly
1989
Corpus ID: 10668059
A constructive approach to fuzzy set theory requires an extension to fuzzy subsets of the basic notions of recursiveness theory…
Expand