Skip to search formSkip to main contentSkip to account menu

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)

Related topics

Related topics

22 relations
Arithmetical hierarchyBounded quantifierComputation in the limitFirst-order logic

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
The primary aim of this work was to evaluate potential changes in the metabolic network of transgenic wheat grain over-expressing… 
2006
2006
Post-harvest deterioration of sugarcane and chemical methods to minimize sucrose losses
Sucrose losses after the harvest of sugarcane and (luring subsequent milling operation are one of the most serious problems in… 
Highly Cited
2006
Highly Cited
2006
Metal gate-HfO/sub 2/ MOS structures on GaAs substrate with and without Si interlayer
In this letter, we studied the effects of post-deposition anneal (PDA) time and Si interface control layer (ICL) on the… 
Review
2006
Review
2006
Sediment sources and delivery following plantation harvesting in a weathered volcanic terrain, Coromandel Peninsula, North Island, New Zealand
Sediment generation and vegetation recovery was measured over a 2-year post-harvest period in a 36-ha catchment of exotic forest… 
2005
2005
Pre‐ and post‐germination determinants of spatial variation in recruitment in the perennial herb Helleborus foetidus L. (Ranunculaceae)
1 Recruitment in plant populations is a multiphase sequential process. An integrated view of the relationships between the stages… 
Highly Cited
1998
Highly Cited
1998
Adaptive multiwavelet initialization
The multiwavelet concept uses a set of scaling functions and a set of wavelets to generate an orthogonal multichannel… 
Highly Cited
1980
Highly Cited
1980
Female sex pheromone of rainbow trout, Salmo gairdneri, involved in courtship behavior.
It was demonstrated that the male rainbow trout, Salmo gairdneri, were able to discriminate post-ovulatory females from pre… 
Highly Cited
1977
Highly Cited
1977
Trace elements in the Allende meteorite—III. Coarse-grained inclusions revisited
1973
1973
Seasonal regulation of dormancy in Chrysopa carnea (Neuroptera)
Highly Cited
1972
Highly Cited
1972
Journeys out of the body
CONTENTS Foreword Introduction 1. Not with a Wand, nor Lightly 2. Search and Research 3. On the Evidence 4. Die Here-Now 5… 
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)