3 problems

0 votes0 replies0 views
Rathjen–Montalbán conjecture on a type-two well-ordering principle for Π¹₁-comprehension
A type-two well-ordering principle is a well-ordering principle whose transformation of linear orders is of type two, together with the assertion that the resulting order is well-f…
Conjectureopenordinal-analysis reverse-mathematics well-ordering-principlesarXiv posted 2 days ago
0 votes0 replies0 views
Extension of the reduction method to Ramsey theorems for exactly α-large sets
Conjecture. The method presented in the paper can be extended to relate the Ramsey theorem for bicolorings of exactly $lpha$ -large sets to the systems $Pi^0_{\omega^\beta}$ -…
Conjectureopenramsey-theory reverse-mathematics well-ordering-principlesarXiv posted 2 days ago
0 votes0 replies0 views
Montalbán's higher-order well-ordering conjecture for $[?]$ -comprehension
A dilator is a functor from linear orderings to linear orderings preserving the relevant finite-support structure, and for a functor…
Conjectureopenproof-theory reverse-mathematics well-ordering-principlesarXiv posted 2 days ago

Rathjen–Montalbán conjecture on a type-two well-ordering principle for Π¹₁-comprehension