MathDB1 problem
- 0 votes0 replies1 view
Strictness of the implications between bar induction and continuity principles
Strictness conjecture. All of the above implications are strict, meaning that none of them can be reversed. The conjecture is motivated by the differing strengths of the associated…