Crossmark

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

Published Online: 2023-04-10

Published Print: 2023-05-29

Authors

Freund, Anton https://orcid.org/0000-0002-5456-5790
Uftring, Patrick https://orcid.org/0000-0003-1053-2951
Funding

Funding for this research was provided by:

Deutsche Forschungsgemeinschaft (460597863)
License Information

Text and Data Mining valid from 2023-04-10
More Information

Publication History

Received: 2022-07-29

Accepted: 2022-12-13

Published: 2023-04-10

Document is current