Article,

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

Meta data

Tags

Users

  • @freund

Comments and Reviews