Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,604,865 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Arithmetical hierarchy
König's lemma
Low (computability)
PA degree
Expand
Broader (1)
Computability theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Cellularity of cyclotomic Yokonuma-Hecke algebras
Weideng Cui
2015
Corpus ID: 119131969
We first give a direct proof of a basis theorem for the cyclotomic Yokonuma-Hecke algebra $Y_{r,n}^{d}(q).$ Our approach follows…
Expand
2007
2007
The problem determination of Functional Dependencies between attributes Relation Scheme in the Relational Data Model. El problema de determinar Dependencias Funcionales entre atributos en los…
Ignacio Vega-Paez
,
Georgina G. Pulido
,
José Ángel Merino Ortega
arXiv.org
2007
Corpus ID: 21435807
An alternative definition of the concept is given of functional dependence among the attributes of the relational schema in the…
Expand
2005
2005
On the Complexity of a Grobner Basis Algorithm
M. Bardet
2005
Corpus ID: 16133635
While the computation of Grobner bases is known to be an expspace-complete problem, the generic behaviour of algorithms for their…
Expand
2002
2002
A LIMITING FIRST ORDER REALIZABILITY INTERPRETATION
M. Nakata
,
Susumu Hayashi
2002
Corpus ID: 14008903
Constructive Mathematics might be regarded as a fragment of classical mathematics in which any proof of an existence theorem is…
Expand
1999
1999
SPECHT MODULES AND BRANCHING RULES FOR ARIKI-KOIKE ALGEBRAS
Jie Du
,
Hebing Rui
1999
Corpus ID: 14844346
Specht modules for an Ariki-Koike algebra have been investigated recently in the context of cellular algebras. Thus, these…
Expand
1997
1997
Generalized straightening laws for products of determinants
B. D. Taylor
1997
Corpus ID: 118110370
The (semi)standard Young tableau have been known since Hodge and Littlewood to naturally index a basis for the multihomogeneous…
Expand
1987
1987
Primary ideal decomposition
H. Kredel
European Conference on Computer Algebra
1987
Corpus ID: 45866161
This fact was discovered by Lasker, Macaulay [Lasker 1905, Macaulay t916], and in the special case of zero dimensional ideals…
Expand
1986
1986
Note on Ehrenfeucht's conjecture and Hilbert's basis theorem
Cristian S. Calude
Bull. EATCS
1986
Corpus ID: 26299029
1975
1975
A finite basis theorem for packing boxes with bricks
de Ng Dick Bruijn
,
D. Klarner
1975
Corpus ID: 56401346
Consider a catalogue S which lists one to infinitely many shapes of rectangular bricks with positive integer dimensions. Using as…
Expand
1973
1973
A finite basis theorem revisited.
D. Klarner
1973
Corpus ID: 124814498
Let S denote a set of k-dimensional boxes each having integral sides. Let $\Gamma$(S) denote the set of all boxes which can be…
Expand