@freund

The uniform Kruskal theorem: between finite combinatorics and strong set existence

, and . Philosophical Transactions of the Royal Society A, (2023)
DOI: 10.1098/rsta.2022.0016

Links and resources

Tags