Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,362,770 papers from all fields of science
Search
Sign In
Create Free Account
Hyperarithmetical theory
Known as:
Hyperarithmetical
, Hyperarithmetical set
, Hyperarithmetic hierarchy
Expand
In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second-order…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Alpha recursion theory
Analytical hierarchy
Arithmetical hierarchy
Arithmetical set
Expand
Broader (1)
Computability theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Parameterized average-case complexity of the hypervolume indicator
K. Bringmann
,
T. Friedrich
Annual Conference on Genetic and Evolutionary…
2013
Corpus ID: 7624186
The hypervolume indicator (HYP) is a popular measure for the quality of a set of <i>n</i> solutions in ℜR<i><sup>d</sup></i>. We…
Expand
2012
2012
SUBSTITUTION OF HIGH-YIELD-PULP FOR HARDWOOD BLEACHED KRAFT PULP IN PAPER PRODUCTION AND ITS EFFECT ON ALKENYL SUCCINIC ANHYDRIDE SIZING
QiJie Chen
,
Y. Ni
,
Zhibin He
2012
Corpus ID: 39883585
In recent years there has been an increasing interest in using high-yield pulp (HYP) as a partial replacement for hardwood…
Expand
2010
2010
Scale r_0 and the static potential from the CLS lattices
F. Knechtli
,
B. Leder
2010
Corpus ID: 118655008
We report on the measurement of the static potential and the scale r_0 from HYP-smeared Wilson loops in two flavour QCD. We…
Expand
2009
2009
Equivalence Relations on Classes of Computable Structures
E. Fokina
,
S. Friedman
Conference on Computability in Europe
2009
Corpus ID: 1332778
If $\mathcal{L}$ is a finite relational language then all computable $\mathcal{L}$-structures can be effectively enumerated in a…
Expand
2008
2008
Effect of HYP fibers on bulk and surface roughness of wood-free paper
Yang Gao
,
V. Rajbhandari
,
Kecheng Li
,
Yajun Zhou
,
Zhirun Yuan
April
2008
Corpus ID: 139314651
Two typical high-yield pulps (HYPs) used in wood-free paper grades, aspen HYP and birch HYP, were investigated for their effects…
Expand
2003
2003
On the complexity of categoricity in computable structures
Walker M. White
Mathematical Logic Quarterly
2003
Corpus ID: 42129592
We investigate the computational complexity the class of Γ‐categorical computable structures. We show that hyperarithmetic…
Expand
2002
2002
Locality and topology with fat link overlap actions
T. Kovács
2002
Corpus ID: 16458442
We study the locality and topological properties of fat link clover overlap (FCO) actions. We find that a small amount of…
Expand
1997
1997
Hypersonic Flow Computations on Unstructured Meshes
K. Bibb
,
C. J. Riley
,
J. Peraire
1997
Corpus ID: 18569504
A method for computing inviscid hypersonic flow over complex configurations using unstructured meshes is presented. The…
Expand
1994
1994
Recursive and r.e. quotient Boolean algebras
J. Thurber
Archive for Mathematical Logic
1994
Corpus ID: 26738182
SummaryWe prove a converse to one of the theorems from [F], giving a description in terms of Turing complexity of sets which can…
Expand
1989
1989
A methodology for writing problem structured abstracts
B. Trawinski
Information Processing & Management
1989
Corpus ID: 15613898
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)
ACCEPT & CONTINUE