Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,620,065 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
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.
2019
2019
Evolutionary diversity optimization using multi-objective indicators
Aneta Neumann
,
Wanru Gao
,
Markus Wagner
,
F. Neumann
GECCO
2019
Corpus ID: 53669796
Evolutionary diversity optimization aims to compute a set of solutions that are diverse in the search space or instance feature…
Expand
Highly Cited
2017
Highly Cited
2017
Strategies for the discovery and identification of food protein-derived biologically active peptides
A. Nongonierma
,
R. Fitzgerald
2017
Corpus ID: 54917920
Highly Cited
2010
Highly Cited
2010
BK using HYP-smeared staggered fermions in Nf = 2 + 1 unquenched QCD
T. Bae
,
Yong-Chull Jang
,
+6 authors
B. Yoon
2010
Corpus ID: 119187700
We present results for kaon mixing parameter BK calculated using HYP-smeared improved staggered fermions on the MILC asqtad…
Expand
2010
2010
Overlap valence on 2 + 1 flavor domain wall fermion configurations with deflation and low-mode substitution
A. Li
,
A. Alexandru
,
+11 authors
J. Zhang
2010
Corpus ID: 46959139
The overlap fermion propagator is calculated on 2+1 flavor domain-wall fermion gauge configurations on 16{sup 3}x32, 24{sup 3}x64…
Expand
2008
2008
Modelling X-band sea clutter at moderate grazing angles.
D. Crisp
,
R. Kyprianou
,
L. Rosenberg
,
N. Stacy
International Conference on Radar
2008
Corpus ID: 1488835
This document reports on work undertaken at DSTO towards modelling the mean ocean backscatter coefficient at low to medium…
Expand
Highly Cited
2003
Highly Cited
2003
Snow water equivalent interpolation for the Colorado River Basin from snow telemetry (SNOTEL) data
S. Fassnacht
,
K. A. Dressler
,
R. Bales
2003
Corpus ID: 42422808
Inverse weighted distance and regression nonexact techniques were evaluated for interpolating methods snow water equivalent (SWE…
Expand
Review
2002
Review
2002
Hypergraph Transversal Computation and Related Problems in Logic and AI
Thomas Eiter
,
G. Gottlob
JELIA
2002
Corpus ID: 13192884
Generating minimal transversals of a hypergraph is an important problem which has many applications in Computer Science. In the…
Expand
Highly Cited
2000
Highly Cited
2000
Computable structures and the hyperarithmetical hierarchy
C. Ash
,
Julia A. Knight
2000
Corpus ID: 120170234
Highly Cited
1987
Highly Cited
1987
Categoricity in hyperarithmetical degrees
C. Ash
Ann. Pure Appl. Log.
1987
Corpus ID: 28693908
Highly Cited
1984
Highly Cited
1984
Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers
C. Jockusch
,
R. Shore
J. Symb. Log.
1984
Corpus ID: 28946399
In this paper we introduce a new hierarchy of sets and operators which we call the REA hierarchy for “recursively enumerable in…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE