Skip to search formSkip to main contentSemantic Scholar
You are currently offline. Some features of the site may not work correctly.
Low basis theorem
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Abstract We study closed choice principles for different spaces. Given information about what does not constitute a solution… Expand
Is this relevant?
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
Is this relevant?
2006
2006
Learning theoretic aspects of mathematics and logic have been studied by many authors. They study how mathematical and logical… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?
1997
1997
The (semi)standard Young tableau have been known since Hodge and Littlewood to naturally index a basis for the multihomogeneous… Expand
Is this relevant?
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
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Etude d'une version formelle du theoreme de la base de Hilbert dans le langage de l'arithmetique du second ordre. Etablissement d… Expand
Is this relevant?
1968
1968
ƒ = k[xi9 • • • , #» , %n+i, • • • » #iv] = £[-X"i, • • • , XivJ/O, where Q = (gi, • • • , q8) is a, finitely generated ideal… Expand
Is this relevant?
1964
1964
In a paper of nearly thirty years ago (Mahler 1937) I first studied approximation properties of algebraic number fields relative… Expand
Is this relevant?