Some independence results related to finite trees
Article in Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences (April 2023)
The most recent citing publications are shown below. View all 11 publications that cite this research output on Dimensions.
The uniform Kruskal theorem: between finite combinatorics and strong set existence
Article in Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences (April 2023)
Normal functions and maximal order types
Article in Journal of Logic and Computation (February 2023)