@freund

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

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

Links und Ressourcen

Tags