https://arxiv.org/abs/2107.02531
[2107.02531] (Extra)ordinary equivalences with the ascending/descending sequence principle
Abstract page for arXiv paper 2107.02531: (Extra)ordinary equivalences with the ascending/descending sequence principle
extra ordinarywith thedescending sequence210702531