FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
Date first appeared online 01/02/2021
DOI 10.1017/jsl.2021.15
Authors Valenti M., Pauly A.
Journal Name The Journal of Symbolic Logic
Volume 86

Documents