Computable Reductions and Reverse Mathematics (Q3188256): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-319-40189-8_19 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4255156525 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The uniform content of partial and linear orders / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the strength of Ramsey's theorem for pairs / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: The metamathematics of Stable Ramsey’s Theorem for Pairs / rank
 
Normal rank
Property / cites work
 
Property / cites work: On uniform relationships between combinatorial problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Δ<sub>2</sub><sup>0</sup> set with no infinite low subset in either it or its complement / rank
 
Normal rank
Property / cites work
 
Property / cites work: STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ramsey’s theorem for singletons and strong computable reducibility / rank
 
Normal rank
Property / cites work
 
Property / cites work: On notions of computability-theoretic reduction between Π21 principles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinatorial principles weaker than Ramsey's Theorem for pairs / rank
 
Normal rank
Property / cites work
 
Property / cites work: The weakness of being cohesive, thin or free in reverse mathematics / rank
 
Normal rank

Latest revision as of 10:27, 12 July 2024

scientific article
Language Label Description Also known as
English
Computable Reductions and Reverse Mathematics
scientific article

    Statements

    Identifiers