-completeness results in Borel combinatorics using gadget reductions">
\mathbf {\Sigma }^1_2
-completeness results in Borel combinatorics using gadget reductions"/>
2025 Joint Mathematics Meetings (JMM 2025)
Welcome to the 2025 Joint Mathematics Meetings (JMM 2025)...
please wait while the program loads.