Pages that link to "Item:Q2358627"
From MaRDI portal
The following pages link to The strength of infinitary Ramseyan principles can be accessed by their densities (Q2358627):
Displaying 23 items.
- Reverse mathematical bounds for the termination theorem (Q324248) (← links)
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- Degrees bounding principles and universal instances in reverse mathematics (Q490869) (← links)
- The weakness of being cohesive, thin or free in reverse mathematics (Q503277) (← links)
- Phase transitions for Gödel incompleteness (Q1006619) (← links)
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- In search of the first-order part of Ramsey's theorem for pairs (Q2117792) (← links)
- Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs (Q2193942) (← links)
- Combinatorial principles between \(\text{RRT}_2^2\) and \(\text{RT}_2^2\) (Q2258112) (← links)
- Dominating the Erdős-Moser theorem in reverse mathematics (Q2400499) (← links)
- Combinatorial unprovability proofs and their model-theoretic counterparts (Q2452679) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- On principles between ∑1- and ∑2-induction, and monotone enumerations (Q3186059) (← links)
- Partial Orders and Immunity in Reverse Mathematics (Q3188275) (← links)
- Iterative Forcing and Hyperimmunity in Reverse Mathematics (Q3195708) (← links)
- Phase Transitions for Weakly Increasing Sequences (Q3507431) (← links)
- On a question of Andreas Weiermann (Q3619872) (← links)
- On the logical strengths of partial solutions to mathematical problems (Q4642696) (← links)
- On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction (Q4915224) (← links)
- RAMSEY-LIKE THEOREMS AND MODULI OF COMPUTATION (Q5070463) (← links)
- THE REVERSE MATHEMATICS OF THE THIN SET AND ERDŐS–MOSER THEOREMS (Q5070472) (← links)
- The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem (Q6119673) (← links)