Artikel,

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

Metadaten

Tags

Nutzer

  • @freund

Kommentare und Rezensionen