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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
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
Is this relevant?
2013
2013
We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of Fokina, Kalimullin, and R. Miller to show… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
To maximally conserve the critical resource of battery energy, smartphone OSes implement an aggressive system suspend policy that… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 4
  • figure 3
Is this relevant?
2011
2011
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
Is this relevant?
Highly Cited
2010
Highly Cited
2010
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
Is this relevant?
2008
2008
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
Is this relevant?
Highly Cited
2003
Highly Cited
2003
[1] Inverse weighted distance and regression nonexact techniques were evaluated for interpolating methods snow water equivalent… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Preface. Computability. The arithmetical hierarchy. Languages and structures. Ordinals. The hyperarithmetical hierarchy… Expand
Is this relevant?
1996
1996
The authors have implemented a post-processor called SPEECHPP to correct word-level errors committed by an arbitrary speech… Expand
  • figure 2
  • figure 1
  • figure 3
Is this relevant?
1993
1993
We give a brief description of the main features of the Mathematica packages HYP and HYPQ. HYP allows a convenient handling of… Expand
Is this relevant?