Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Hyperarithmetical theory

Known as: Hyperarithmetical, Hyperarithmetical set, Hyperarithmetic hierarchy 
In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second-order… Expand
Wikipedia

Related topics

Related topics

15 relations
Alpha recursion theoryAnalytical hierarchyArithmetical hierarchyArithmetical set
Expand

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
HyP-DESPOT: A Hybrid Parallel Algorithm for Online Planning under Uncertainty
Planning under uncertainty is critical for robust robot performance in uncertain, dynamic environments, but it incurs high… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
2011
2011
Analysis of Crystallinity Index and Hydrolysis Rates in the Bioenergy Crop Sorghum bicolor
Maximum yield from any cellulosic bioenergy crop is largely dependent upon total dry weight at harvest and process-specific… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Highly Cited
2010
Highly Cited
2010
BK using HYP-smeared staggered fermions in Nf = 2 + 1 unquenched QCD
We present results for kaon mixing parameter BK calculated using HYP-smeared improved staggered fermions on the MILC asqtad… Expand
  • table I
  • table II
  • figure 1
  • table IV
  • table V
Highly Cited
2010
Highly Cited
2010
Preparing Preservice Teachers for Self-Regulated Learning in the Context of Technological Pedagogical Content Knowledge.
Abstract The present study investigated effects of two hypermedia environments on 95 preservice university teachers' self… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
2009
2009
Equivalence Relations on Classes of Computable Structures
If $\mathcal{L}$ is a finite relational language then all computable $\mathcal{L}$-structures can be effectively enumerated in a… Expand
2008
2008
Modelling X-band sea clutter at moderate grazing angles.
This document reports on work undertaken at DSTO towards modelling the mean ocean backscatter coefficient at low to medium… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Highly Cited
2003
Highly Cited
2003
Snow water equivalent interpolation for the Colorado River Basin from snow telemetry (SNOTEL) data
[1] Inverse weighted distance and regression nonexact techniques were evaluated for interpolating methods snow water equivalent… Expand
Highly Cited
2000
Highly Cited
2000
Computable structures and the hyperarithmetical hierarchy
Preface. Computability. The arithmetical hierarchy. Languages and structures. Ordinals. The hyperarithmetical hierarchy… Expand
Highly Cited
1987
Highly Cited
1987
Categoricity in hyperarithmetical degrees
  • C. Ash
  • Ann. Pure Appl. Log.
  • 1987
    • Corpus ID: 28693908
Abstract We obtain, under certain assumptions, necessary and sufficient conditions for a recursive structure to be Δ 0… Expand
Highly Cited
1984
Highly Cited
1984
Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers
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