Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,449,451 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.
2012
2012
Influence of combined probiotics Lactobacillus sporogenes and Bacillus subtilis on survival, growth, biochemical changes and energy utilization performance of Macrobrachium rosenbergii (De Man 1879…
C. Seenivasan
,
S. Radhakrishnan
,
T. Muralisankar
,
P. Bhavan
2012
Corpus ID: 73692972
A 90-day feeding experiment was studied to determine the influence of the bacterial combination Lactobacillus sporogenes and…
Expand
Highly Cited
2010
Highly Cited
2010
The Hormonal Regulation of Senescence
S. Gan
2010
Corpus ID: 87224637
Senescence occurs ubiquitously in living organisms. At the cellular level, a cell’s life history consists of two processes…
Expand
2010
2010
Designing experimental setup and procedures for studying alpha-particle-induced adaptive response in zebrafish embryos in vivo
V. Choi
,
R. Lam
,
E. Chong
,
S. Cheng
,
K. N. Yu
2010
Corpus ID: 10304925
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
Review
2006
Review
2006
Sediment sources and delivery following plantation harvesting in a weathered volcanic terrain, Coromandel Peninsula, North Island, New Zealand
M. Marden
,
D. Rowan
,
C. Phillips
2006
Corpus ID: 128752577
Sediment generation and vegetation recovery was measured over a 2-year post-harvest period in a 36-ha catchment of exotic forest…
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
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