Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,754 papers from all fields of science
Search
Sign In
Create Free Account
Post's theorem
Known as:
Post theorem
In computability theory Post's theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
22 relations
Arithmetical hierarchy
Bounded quantifier
Computation in the limit
First-order logic
Expand
Broader (1)
Computability theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Metabolic profiling of transgenic wheat over-expressing the high-molecular-weight Dx5 glutenin subunit
B. Stamova
,
U. Roessner
,
S. Suren
,
D. Laudencia‐Chingcuanco
,
A. Bacic
,
D. M. Beckles
Metabolomics
2008
Corpus ID: 36791615
The primary aim of this work was to evaluate potential changes in the metabolic network of transgenic wheat grain over-expressing…
Expand
Highly Cited
2006
Highly Cited
2006
Metal gate-HfO/sub 2/ MOS structures on GaAs substrate with and without Si interlayer
I. Ok
,
H. Kim
,
+8 authors
J.C. Lee
IEEE Electron Device Letters
2006
Corpus ID: 37537782
In this letter, we studied the effects of post-deposition anneal (PDA) time and Si interface control layer (ICL) on the…
Expand
2006
2006
Post-harvest deterioration of sugarcane and chemical methods to minimize sucrose losses
S. Solomon
,
R. Banerji
,
+5 authors
A. Sawnani
Sugar Tech
2006
Corpus ID: 22283386
Sucrose losses after the harvest of sugarcane and (luring subsequent milling operation are one of the most serious problems in…
Expand
2005
2005
Pre‐ and post‐germination determinants of spatial variation in recruitment in the perennial herb Helleborus foetidus L. (Ranunculaceae)
J. L. Garrido
,
P. Rey
,
C. Herrera
2005
Corpus ID: 44137887
1 Recruitment in plant populations is a multiphase sequential process. An integrated view of the relationships between the stages…
Expand
2003
2003
Volitional Spawning of Black Sea Bass Centropristis striata Induced with Pelleted Luteinizing Hormone Releasing Hormone‐Analogue
W. Watanabe
,
T. Smith
,
+4 authors
M. Denson
2003
Corpus ID: 86731024
The black sea bass is a high-value marine serranid and is a prime candidate for intensive cultivation. Reliable methods for…
Expand
Highly Cited
1998
Highly Cited
1998
Adaptive multiwavelet initialization
James T. Miller
,
Ching-Chung Li
IEEE Transactions on Signal Processing
1998
Corpus ID: 37301771
The multiwavelet concept uses a set of scaling functions and a set of wavelets to generate an orthogonal multichannel…
Expand
Highly Cited
1980
Highly Cited
1980
Female sex pheromone of rainbow trout, Salmo gairdneri, involved in courtship behavior.
Haruo Honda
1980
Corpus ID: 86045053
It was demonstrated that the male rainbow trout, Salmo gairdneri, were able to discriminate post-ovulatory females from pre…
Expand
Highly Cited
1977
Highly Cited
1977
Trace elements in the Allende meteorite—III. Coarse-grained inclusions revisited
L. Grossman
,
R. Ganapathy
,
A. Davis
1977
Corpus ID: 55510343
1973
1973
Seasonal regulation of dormancy in Chrysopa carnea (Neuroptera)
M. Tauber
,
C. A. Tauber
1973
Corpus ID: 54611582
Highly Cited
1972
Highly Cited
1972
Journeys out of the body
R. Monroe
1972
Corpus ID: 141999937
CONTENTS Foreword Introduction 1. Not with a Wand, nor Lightly 2. Search and Research 3. On the Evidence 4. Die Here-Now 5…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE