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

Low basis theorem

Known as: Basis theorem 
The low basis theorem in computability theory states that every nonempty class in (see arithmetical hierarchy) contains a set of low degree (Soare… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Demuth tests generalize Martin-Lof tests (Gm)m∈N in that one can exchange the m-th component a computably bounded number of times… Expand
2006
2006
  • S. Hayashi
  • Theor. Comput. Sci.
  • 2006
  • Corpus ID: 10122645
Learning theoretic aspects of mathematics and logic have been studied by many authors. They study how mathematical and logical… Expand
Highly Cited
2004
Highly Cited
2004
We present two automatic program analyses. The first analysis checks if a given polynomial relation holds among the program… Expand
  • figure 1
  • figure 2
Highly Cited
2000
Highly Cited
2000
In the first part of this thesis, we introduce a specific class of Linear Matrix Inequalities (LMI) whose optimal solution can be… Expand
  • figure 3.1
  • table 3.1
  • figure 3.2
  • table 3.2
  • figure 3.3
Highly Cited
1999
Highly Cited
1999
O INTRODUCTION 1. Fundamental Problem of Algebra 2. Fundamental Problem of Classical Algebraic Geometry 3. Fundamental Problem of… Expand
1997
1997
The (semi)standard Young tableau have been known since Hodge and Littlewood to naturally index a basis for the multihomogeneous… Expand
  • table 1.1
  • figure 1-4
  • figure 1-5
Highly Cited
1995
Highly Cited
1995
Commutative Algebra is best understood with knowledge of the geometric ideas that have played a great role in its formation, in… Expand
1993
1993
Unification in acommunitativc theory Emaybereduced tosolving linear equations in the corresponding semiring S(E) [37]. The… Expand
1978
1978
Without recourse to the normal basis theorem, some (mk, k) cyclic codes are put into quasi-cyclic form, and their weight… Expand
1968
1968
ƒ = k[xi9 • • • , #» , %n+i, • • • » #iv] = £[-X"i, • • • , XivJ/O, where Q = (gi, • • • , q8) is a, finitely generated ideal… Expand