The strength of infinitary Ramseyan principles can be accessed by their densities

DOI10.1016/j.apal.2017.03.005zbMath1422.03127OpenAlexW1512973490MaRDI QIDQ2358627

Andreas Weiermann, Andrey Bovykin

Publication date: 15 June 2017

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2017.03.005

zbMATH Keywords

densityRamsey theoremindicatorsfirst-order fragment

Mathematics Subject Classification ID

Ramsey theory (05D10) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35)

Related Items (23)

Reverse mathematical bounds for the termination theorem ⋮ The proof-theoretic strength of Ramsey's theorem for pairs and two colors ⋮ On principles between ∑1- and ∑2-induction, and monotone enumerations ⋮ Term extraction and Ramsey's theorem for pairs ⋮ Partial Orders and Immunity in Reverse Mathematics ⋮ RAMSEY-LIKE THEOREMS AND MODULI OF COMPUTATION ⋮ THE REVERSE MATHEMATICS OF THE THIN SET AND ERDŐS–MOSER THEOREMS ⋮ Iterative Forcing and Hyperimmunity in Reverse Mathematics ⋮ Dominating the Erdős-Moser theorem in reverse mathematics ⋮ The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem ⋮ Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs ⋮ Phase Transitions for Weakly Increasing Sequences ⋮ Primitive recursion and the chain antichain principle ⋮ Combinatorial unprovability proofs and their model-theoretic counterparts ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Degrees bounding principles and universal instances in reverse mathematics ⋮ On the logical strengths of partial solutions to mathematical problems ⋮ The weakness of being cohesive, thin or free in reverse mathematics ⋮ On the strength of Ramsey's theorem without Σ₁‐induction ⋮ Combinatorial principles between \(\text{RRT}_2^2\) and \(\text{RT}_2^2\) ⋮ On a question of Andreas Weiermann ⋮ Phase transitions for Gödel incompleteness ⋮ In search of the first-order part of Ramsey's theorem for pairs

Cites Work

• On the strength of Ramsey's theorem for pairs
• Some independence results for Peano arithmetic
• Reverse mathematics and the equivalence of definitions for well and better quasi-orders
• Logical Approaches to Computational Barriers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The strength of infinitary Ramseyan principles can be accessed by their densities