MathDB1 problem
- 0 votes0 replies0 views
The finite choice non-derivability conjecture for positive unordered sums
Finite--choice non-derivability conjecture. The principle \textup{\textsf{finite-}\Sigma^1_1\text{-AC}_0} cannot be obtained from item (ii).
The finite choice non-derivability conjecture for positive unordered sums
Finite--choice non-derivability conjecture. The principle \textup{\textsf{finite-}\Sigma^1_1\text{-AC}_0} cannot be obtained from item (ii).