← back to paper
arxiv: 2606.28740 · 2 revisions
Some applications of the real strict order property hierarchy