Conservation strength of the infinite pigeonhole principle for trees

DOI10.1007/S11856-023-2567-8MaRDI QIDQ6561666

C. T. Chong, Wei Wang, Yue Yang

Publication date: 25 June 2024

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The inductive strength of Ramsey's theorem for pairs
• Rapidly growing Ramsey functions
• The proof-theoretic strength of Ramsey's theorem for pairs and two colors
• On the strength of Ramsey's theorem for trees
• Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs
• On principles between ∑1- and ∑2-induction, and monotone enumerations
• The metamathematics of Stable Ramsey’s Theorem for Pairs
• Every sequence is reducible to a random one
• Reverse mathematics and Ramsey's property for trees

This page was built for publication: Conservation strength of the infinite pigeonhole principle for trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561666)